Author:Armin Biere

Publications
EasyChair Preprint no. 457

Keyphrases

#SAT, automated reasoning2, automated theorem proving2, Avatar, backwards checking, bit-precise reasoning, bit-vector logics, blocked clauses, CDCL, chronological backtracking, clause elimination2, CNF, competition, complexity, Compression, computer algebra, conflict-driven clause learning, decision procedure, DQBF, DQDIMACS, DRAT proofs2, Effectively Propositional Logic, encoding, EPR2, evaluation, first-order logic, Instantiation, model counting, Multi-Core SAT solving, Multiplier circuits, NEXPTIME, parallel SAT solving, polynomial reasoning, Preprocessing, proof, proof certificates, proof checking2, propositional calculus, propositional reasoning, QBF2, Quantified Boolean Formulas, rules, SAT6, SAT preprocessing, SAT solving2, satisfiability2, satisfiability checking, scrambling, simplification, SMT, Unsatisfiability proof generation2, Vampire, watched literal schema.