5
votes
Accepted
Can CDCL Algorithm Derived Conflict Clauses Always Be Obtained Through Resolution from an Unsatisfiable CNF Formula?
It is indeed and here is the reference for it if needed:
Pipatsrisawat, K., & Darwiche, A. (2011). On the power of clause-learning SAT solvers as resolution engines. Artificial intelligence, 175(2)...
- 2,164
Only top scored, non community-wiki answers of a minimum length are eligible