Author:Armin Biere

Publications
EasyChair Preprint 457

Keyphrases

#SAT, automated reasoning2, automated theorem proving2, Avatar, backwards checking, bit-precise reasoning, bit-vector logics, blocked clauses, CDCL, certification, 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, Incremental SAT, Instantiation, model counting, Multi-Core SAT solving, Multiplier circuits, NEXPTIME, parallel SAT solving, polynomial reasoning, Preprocessing, proof, proof certificates, proof checking3, proofs, 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.