Conflict-Driven XOR-Clause Learning

Reference:

Tero Laitinen, Tommi Junttila, and Ilkka Niemelä. Conflict-driven XOR-clause learning. In Alessandro Cimatti and Roberto Sebastiani, editors, Theory and Applications of Satisfiability Testing - SAT 2012, volume 7317 of Lecture Notes in Computer Science, pages 383–396. Springer, 2012.

Suggested BibTeX entry:

@inproceedings{tolaiti2.LaitinenJunttilaNiemela:SAT2012,
    author = {Tero Laitinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Theory and Applications of Satisfiability Testing - SAT 2012},
    editor = {Alessandro Cimatti and Roberto Sebastiani},
    language = {eng},
    pages = {383--396},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Conflict-Driven {XOR}-Clause Learning},
    volume = {7317},
    year = {2012},
}