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)...
holf's user avatar
  • 2,164

Only top scored, non community-wiki answers of a minimum length are eligible