Extending Clause Learning DPLL with Parity Reasoning

Tero Laitinen; Tommi A. Junttila; Ilkka Niemelä

doi:10.3233/978-1-60750-606-5-21

Extending Clause Learning DPLL with Parity Reasoning

Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

16 Citations (Scopus)

Original language	English
Title of host publication	19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010
Editors	Helder Coelho, Rudi Studer, Michael Wooldridge
Publisher	IOS Press
Pages	21-26
ISBN (Electronic)	978-1-60750-606-5
ISBN (Print)	978-1-60750-605-8
DOIs	https://doi.org/10.3233/978-1-60750-606-5-21
Publication status	Published - 2010
MoE publication type	A4 Conference publication
Event	European Conference on Artificial Intelligence - Lisbon, Portugal Duration: 16 Aug 2010 → 20 Aug 2010

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	IOS Press
Volume	215
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	European Conference on Artificial Intelligence
Abbreviated title	ECAI
Country/Territory	Portugal
City	Lisbon
Period	16/08/2010 → 20/08/2010

Access to Document

10.3233/978-1-60750-606-5-21

Cite this

Laitinen, T., Junttila, T. A., & Niemelä, I. (2010). Extending Clause Learning DPLL with Parity Reasoning. In H. Coelho, R. Studer, & M. Wooldridge (Eds.), 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010 (pp. 21-26). (Frontiers in Artificial Intelligence and Applications; Vol. 215). IOS Press. https://doi.org/10.3233/978-1-60750-606-5-21

@inproceedings{0d54a0cadf3344f9839640c9e99113e4,

title = "Extending Clause Learning DPLL with Parity Reasoning",

author = "Tero Laitinen and Junttila, {Tommi A.} and Ilkka Niemel{\"a}",

note = "VK: mcm hiit logic; European Conference on Artificial Intelligence, ECAI ; Conference date: 16-08-2010 Through 20-08-2010",

year = "2010",

doi = "10.3233/978-1-60750-606-5-21",

language = "English",

isbn = "978-1-60750-605-8",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "21--26",

editor = "Helder Coelho and Rudi Studer and Michael Wooldridge",

booktitle = "19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010",

address = "Netherlands",

}

Laitinen, T, Junttila, TA & Niemelä, I 2010, Extending Clause Learning DPLL with Parity Reasoning. in H Coelho, R Studer & M Wooldridge (eds), 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. Frontiers in Artificial Intelligence and Applications, vol. 215, IOS Press, pp. 21-26, European Conference on Artificial Intelligence, Lisbon, Portugal, 16/08/2010. https://doi.org/10.3233/978-1-60750-606-5-21

Extending Clause Learning DPLL with Parity Reasoning. / Laitinen, Tero; Junttila, Tommi A.; Niemelä, Ilkka.
19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. ed. / Helder Coelho; Rudi Studer; Michael Wooldridge. IOS Press, 2010. p. 21-26 (Frontiers in Artificial Intelligence and Applications; Vol. 215).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Extending Clause Learning DPLL with Parity Reasoning

AU - Laitinen, Tero

AU - Junttila, Tommi A.

AU - Niemelä, Ilkka

N1 - VK: mcm hiit logic

PY - 2010

Y1 - 2010

U2 - 10.3233/978-1-60750-606-5-21

DO - 10.3233/978-1-60750-606-5-21

M3 - Conference article in proceedings

SN - 978-1-60750-605-8

T3 - Frontiers in Artificial Intelligence and Applications

SP - 21

EP - 26

BT - 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010

A2 - Coelho, Helder

A2 - Studer, Rudi

A2 - Wooldridge, Michael

PB - IOS Press

T2 - European Conference on Artificial Intelligence

Y2 - 16 August 2010 through 20 August 2010

ER -