Extending Clause Learning DPLL with Parity Reasoning (2010)
AUTHORS:
Laitinen Tero
,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings
SERIES:
Frontiers in Artificial Intelligence and Applications
VOLUME:
215
PAGES:
21--26
@inproceedings{ LaitinenJunttilaNiemela:ECAI2010, editor = "Coelho, Helder and Studer, Rudi and Wooldridge, Michael", author = {Laitinen, Tero and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "IOS Press", title = "Extending Clause Learning DPLL with Parity Reasoning", series = "Frontiers in Artificial Intelligence and Applications", booktitle = "ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings", volume = "215", flags = "copy", year = "2010", pages = "21--26" }