Extending Clause Learning DPLL with Parity Reasoning

Reference:

Tero Laitinen, Tommi Junttila, and Ilkka Niemelä. Extending clause learning DPLL with parity reasoning. In Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010, volume 215 of Frontiers in Artificial Intelligence and Applications, pages 21–26. IOS Press, 2010.

Suggested BibTeX entry:

@inproceedings{LJN:ECAI2010,
    author = {Tero Laitinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence, {ECAI~2010}},
    pages = {21--26},
    publisher = {IOS Press},
    series = {Frontiers in Artificial Intelligence and Applications},
    title = {Extending Clause Learning {DPLL} with Parity Reasoning},
    volume = {215},
    year = {2010},
}