Author:Martina Seidl

Keyphrases

automated reasoning, automated theorem proving, blocked clauses, certification, clause elimination, Effectively Propositional Logic, encoding, EPR, first-order logic, Function Extraction, Preprocessing, QBF, Quantified Boolean Formulas², SAT.