Extended Resolution Clause Learning via Dual Implication Points

Sam Buss, Jonathan Chung, Vijay Ganesh +1

We present a new extended resolution clause learning (ERCL) algorithm, implemented as part of a conflict-driven clause-learning (CDCL) SAT solver, wherein new variables are dynamic…