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ä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

11 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
Toimittajat	Taghi M. Khoshgoftaar, Xingquan Zhu
Kustantaja	IEEE
Sivut	649-658
ISBN (elektroninen)	978-0-7695-4596-7
ISBN (painettu)	978-1-4577-2068-0
DOI - pysyväislinkit	https://doi.org/10.1109/ICTAI.2011.103
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	IEEE International Conference on Tools with Artificial Intelligence - Boca Raton, Yhdysvallat Kesto: 7 marrask. 2011 → 9 marrask. 2011 Konferenssinumero: 23

Julkaisusarja

Nimi	International Conference on Tools with Artificial Intelligence. Proceedings
Kustantaja	IEEE Computer Society Press
ISSN (painettu)	1082-3409

Conference

Conference	IEEE International Conference on Tools with Artificial Intelligence
Lyhennettä	ICTAI
Maa/Alue	Yhdysvallat
Kaupunki	Boca Raton
Ajanjakso	07/11/2011 → 09/11/2011

Pääsy asiakirjaan

10.1109/ICTAI.2011.103

OpenUrl-saatavuus

Koko teksti

Muut tiedostot ja linkit

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

Siteeraa tätä

Laitinen, T., Junttila, T., & Niemelä, I. (2011). Equivalence Class Based Parity Reasoning with DPLL(XOR). teoksessa T. M. Khoshgoftaar, & X. Zhu (Toimittajat), 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011) (Sivut 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). julkaisussa TM Khoshgoftaar & X Zhu (toim), 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011). International Conference on Tools with Artificial Intelligence. Proceedings, IEEE, Sivut 649-658, IEEE International Conference on Tools with Artificial Intelligence , Boca Raton, Florida, Yhdysvallat, 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). toim. / Taghi M. Khoshgoftaar; Xingquan Zhu. IEEE, 2011. s. 649-658 (International Conference on Tools with Artificial Intelligence. Proceedings).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

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 contribution

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 -