Extending Clause Learning SAT Solvers with Complete Parity Reasoning

Reference:

Tero Laitinen, Tommi Junttila, and Ilkka Niemelä. Extending clause learning sat solvers with complete parity reasoning. In ICTAI 2012 - 24th IEEE International Conference on Tools with Artificial Intelligence. IEEE Computer Society Press, 2012.

Suggested BibTeX entry:

@inproceedings{tolaiti2.LaitinenJunttilaNiemela:ICTAI2012,
    author = {Tero Laitinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {ICTAI 2012 - 24th IEEE International Conference on Tools with Artificial Intelligence},
    language = {eng},
    publisher = {IEEE Computer Society Press},
    title = {Extending Clause Learning SAT Solvers with Complete Parity Reasoning},
    year = {2012},
}