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ä

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

10 Citations (Scopus)

Original language	English
Title of host publication	Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012
Editors	Alessandro Cimatti, Roberto Sebastiani
Publisher	Springer
Pages	383-396
ISBN (Print)	978-3-642-31612-8
DOIs	https://doi.org/10.1007/978-3-642-31612-8_29
Publication status	Published - 2012
MoE publication type	A4 Conference publication

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7317
ISSN (Print)	0302-9743

Access to Document

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

Cite this

Laitinen, T., Junttila, T., & Niemelä, I. (2012). Conflict-Driven XOR-Clause Learning. In A. Cimatti, & R. Sebastiani (Eds.), Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012 (pp. 383-396). ( Lecture Notes in Computer Science; Vol. 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",

}

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. ed. / Alessandro Cimatti; Roberto Sebastiani. Springer, 2012. p. 383-396 ( Lecture Notes in Computer Science; Vol. 7317).

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

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 article in proceedings

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 -

Conflict-Driven XOR-Clause Learning

Publication series

Access to Document

Other files and links

Cite this