Author:Armin Biere

Publications
EasyChair Preprint no. 457

Keyphrases

automated reasoning2, automated theorem proving2, Avatar, backwards checking, bit-precise reasoning, bit-vector logics, blocked clauses, CDCL, clause elimination2, CNF, competition, complexity, Compression, decision procedure, DQBF, DQDIMACS, DRAT proofs2, Effectively Propositional Logic, encoding, EPR2, evaluation, first-order logic, Instantiation, Multi-Core SAT solving, NEXPTIME, parallel SAT solving, Preprocessing, proof, proof checking2, propositional reasoning, QBF2, Quantified Boolean Formulas, SAT4, SAT preprocessing, SAT solving2, satisfiability2, satisfiability checking, scrambling, simplification, SMT, Unsatisfiability proof generation2, Vampire, watched literal schema.