Conflict-Driven XOR-Clause Learning

Tero Laitinen; Tommi Junttila; Ilkka Niemelä

doi:10.1007/978-3-642-31612-8_29

Conflict-Driven XOR-Clause Learning

Tero Laitinen, Tommi Junttila, Ilkka Niemelä

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

10 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012
Toimittajat	Alessandro Cimatti, Roberto Sebastiani
Kustantaja	SPRINGER
Sivut	383-396
ISBN (painettu)	978-3-642-31612-8
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-31612-8_29
Tila	Julkaistu - 2012
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer
Vuosikerta	7317
ISSN (painettu)	0302-9743

Pääsy asiakirjaan

10.1007/978-3-642-31612-8_29

OpenUrl-saatavuus

Koko teksti

Muut tiedostot ja linkit

http://dx.doi.org/10.1007/978-3-642-31612-8_29

Siteeraa tätä

Laitinen, T., Junttila, T., & Niemelä, I. (2012). Conflict-Driven XOR-Clause Learning. teoksessa A. Cimatti, & R. Sebastiani (Toimittajat), Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012 (Sivut 383-396). ( Lecture Notes in Computer Science; Vuosikerta 7317). SPRINGER. https://doi.org/10.1007/978-3-642-31612-8_29

@inproceedings{4781fee7288a4dd191faf7ff42922cb2,

title = "Conflict-Driven XOR-Clause Learning",

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

note = "VK: coin hiit logic",

year = "2012",

doi = "10.1007/978-3-642-31612-8_29",

language = "English",

isbn = "978-3-642-31612-8",

series = " Lecture Notes in Computer Science",

publisher = "SPRINGER",

pages = "383--396",

editor = "Alessandro Cimatti and Roberto Sebastiani",

booktitle = "Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012",

address = "Germany",

}

Laitinen, T, Junttila, T & Niemelä, I 2012, Conflict-Driven XOR-Clause Learning. julkaisussa A Cimatti & R Sebastiani (toim), Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012. Lecture Notes in Computer Science, Vuosikerta 7317, SPRINGER, Sivut 383-396. https://doi.org/10.1007/978-3-642-31612-8_29

Conflict-Driven XOR-Clause Learning. / Laitinen, Tero; Junttila, Tommi ; Niemelä, Ilkka.

Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012. toim. / Alessandro Cimatti; Roberto Sebastiani. SPRINGER, 2012. s. 383-396 ( Lecture Notes in Computer Science; Vuosikerta 7317).

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

TY - GEN

T1 - Conflict-Driven XOR-Clause Learning

AU - Laitinen, Tero

AU - Junttila, Tommi

AU - Niemelä, Ilkka

N1 - VK: coin hiit logic

PY - 2012

Y1 - 2012

UR - http://dx.doi.org/10.1007/978-3-642-31612-8_29

U2 - 10.1007/978-3-642-31612-8_29

DO - 10.1007/978-3-642-31612-8_29

M3 - Conference contribution

SN - 978-3-642-31612-8

T3 - Lecture Notes in Computer Science

SP - 383

EP - 396

BT - Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012

A2 - Cimatti, Alessandro

A2 - Sebastiani, Roberto

PB - SPRINGER

ER -