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, 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, NEXPTIME, parallel SAT solving, Preprocessing, proof, proof checking2, propositional calculus, propositional reasoning, QBF2, Quantified Boolean Formulas, rules, SAT5, SAT preprocessing, SAT solving2, satisfiability2, satisfiability checking, scrambling, simplification, SMT, Unsatisfiability proof generation2, Vampire, watched literal schema.