"Conflict-Driven XOR-Clause Learning."

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics