Conflict-Driven XOR-Clause Learning (extended version).

Tero Laitinen Tommi A. Junttila Ilkka Niemelä

Published in: CoRR (2014)

Keyphrases

clause learning
sat solvers
conflict resolution
orders of magnitude
satisfiability problem
search space
probabilistic inference
sat problem
propositional satisfiability