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