Extending Clause Learning DPLL with Parity Reasoning

Reference:

Tero Laitinen, Tommi Junttila, and Ilkka Niemelä. Extending clause learning dpll with parity reasoning. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, volume 215 of Frontiers in Artificial Intelligence and Applications, pages 21–26. IOS Press, 2010.

Suggested BibTeX entry:

@inproceedings{LaitinenJunttilaNiemela:ECAI2010,
    author = {Tero Laitinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings},
    editor = {Helder Coelho and Rudi Studer and Michael Wooldridge},
    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},
}