Conflict-Driven XOR-Clause Learning.

Tero Laitinen Tommi A. Junttila Ilkka Niemelä

Published in: SAT (2012)

Keyphrases

clause learning
sat solvers
satisfiability problem
sat solving
conflict resolution
document retrieval
sat problem
information retrieval
knowledge representation
sat instances