Author:Armin Biere

Publications

Keyphrases

automated reasoning2, automated theorem proving2, Avatar, bit-precise reasoning, bit-vector logics, blocked clauses, CDCL, clause elimination2, complexity, Compression, decision procedure, DQBF, DQDIMACS, Effectively Propositional Logic, encoding, EPR2, first-order logic, Instantiation, Multi-Core SAT solving, NEXPTIME, parallel SAT solving, Preprocessing, proof, propositional reasoning, QBF2, Quantified Boolean Formulas, SAT3, SAT preprocessing, SAT solving2, satisfiability2, satisfiability checking, simplification, SMT, Vampire.