Equivalence Class Based Parity Reasoning with DPLL(XOR)

Tero Laitinen; Tommi Junttila; Ilkka Niemelä

doi:10.1109/ICTAI.2011.103

Equivalence Class Based Parity Reasoning with DPLL(XOR)

Tero Laitinen, Tommi Junttila, Ilkka Niemelä

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

11 Citations (Scopus)

Original language	English
Title of host publication	23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
Editors	Taghi M. Khoshgoftaar, Xingquan Zhu
Publisher	IEEE
Pages	649-658
ISBN (Electronic)	978-0-7695-4596-7
ISBN (Print)	978-1-4577-2068-0
DOIs	https://doi.org/10.1109/ICTAI.2011.103
Publication status	Published - 2011
MoE publication type	A4 Conference publication
Event	IEEE International Conference on Tools with Artificial Intelligence - Boca Raton, United States Duration: 7 Nov 2011 → 9 Nov 2011 Conference number: 23

Publication series

Name	International Conference on Tools with Artificial Intelligence. Proceedings
Publisher	IEEE Computer Society Press
ISSN (Print)	1082-3409

Conference

Conference	IEEE International Conference on Tools with Artificial Intelligence
Abbreviated title	ICTAI
Country/Territory	United States
City	Boca Raton
Period	07/11/2011 → 09/11/2011

Access to Document

10.1109/ICTAI.2011.103

Cite this

Laitinen, T., Junttila, T., & Niemelä, I. (2011). Equivalence Class Based Parity Reasoning with DPLL(XOR). In T. M. Khoshgoftaar, & X. Zhu (Eds.), 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011) (pp. 649-658). (International Conference on Tools with Artificial Intelligence. Proceedings). IEEE. https://doi.org/10.1109/ICTAI.2011.103

@inproceedings{34f3b8607b334fb4b829ec31d0c3d549,

title = "Equivalence Class Based Parity Reasoning with DPLL(XOR)",

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

note = "VK: mcm hiit logic; IEEE International Conference on Tools with Artificial Intelligence , ICTAI ; Conference date: 07-11-2011 Through 09-11-2011",

year = "2011",

doi = "10.1109/ICTAI.2011.103",

language = "English",

isbn = "978-1-4577-2068-0",

series = "International Conference on Tools with Artificial Intelligence. Proceedings",

publisher = "IEEE",

pages = "649--658",

editor = "Khoshgoftaar, {Taghi M.} and Xingquan Zhu",

booktitle = "23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)",

address = "United States",

}

Laitinen, T, Junttila, T & Niemelä, I 2011, Equivalence Class Based Parity Reasoning with DPLL(XOR). in TM Khoshgoftaar & X Zhu (eds), 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011). International Conference on Tools with Artificial Intelligence. Proceedings, IEEE, pp. 649-658, IEEE International Conference on Tools with Artificial Intelligence , Boca Raton, Florida, United States, 07/11/2011. https://doi.org/10.1109/ICTAI.2011.103

Equivalence Class Based Parity Reasoning with DPLL(XOR). / Laitinen, Tero; Junttila, Tommi ; Niemelä, Ilkka.
23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011). ed. / Taghi M. Khoshgoftaar; Xingquan Zhu. IEEE, 2011. p. 649-658 (International Conference on Tools with Artificial Intelligence. Proceedings).

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

TY - GEN

T1 - Equivalence Class Based Parity Reasoning with DPLL(XOR)

AU - Laitinen, Tero

AU - Junttila, Tommi

AU - Niemelä, Ilkka

N1 - Conference code: 23

PY - 2011

Y1 - 2011

UR - http://dx.doi.org/10.1109/ICTAI.2011.103

U2 - 10.1109/ICTAI.2011.103

DO - 10.1109/ICTAI.2011.103

M3 - Conference article in proceedings

SN - 978-1-4577-2068-0

T3 - International Conference on Tools with Artificial Intelligence. Proceedings

SP - 649

EP - 658

BT - 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)

A2 - Khoshgoftaar, Taghi M.

A2 - Zhu, Xingquan

PB - IEEE

T2 - IEEE International Conference on Tools with Artificial Intelligence

Y2 - 7 November 2011 through 9 November 2011

ER -

Equivalence Class Based Parity Reasoning with DPLL(XOR)

Publication series

Conference

Access to Document

Other files and links

Cite this