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, complexity, Compression, decision procedure, DQBF, DQDIMACS, DRAT proofs, Effectively Propositional Logic, encoding, EPR2, first-order logic, Instantiation, Multi-Core SAT solving, NEXPTIME, parallel SAT solving, Preprocessing, proof, proof checking, propositional reasoning, QBF2, Quantified Boolean Formulas, SAT3, SAT preprocessing, SAT solving2, satisfiability2, satisfiability checking, simplification, SMT, Unsatisfiability proof generation, Vampire, watched literal schema.