Author:Adrián Rebola-Pardo
Keyphrasesbackwards checking, blocked clauses, DRAT proofs4, inprocessing techniques, Interference, proof checking2, Proof-based interpolation, propositional logic, SAT solving3, Unsatisfiability proof generation2, watched literal schema. |