Conflict-Driven XOR-Clause Learning (2012)
AUTHORS:
Laitinen Tero
,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
Theory and Applications of Satisfiability Testing - SAT 2012
SERIES:
Lecture Notes in Computer Science
VOLUME:
7317
PAGES:
383--396
URL:
http://dx.doi.org/10.1007/978-3-642-31612-8_29
@inproceedings{ LaitinenJunttilaNiemela:SAT2012, editor = "Cimatti, Alessandro and Sebastiani, Roberto", author = {Laitinen, Tero and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "Springer", eventtime = "June 17-20", responsibleauthor = {Tero Laitinen and Tommi Junttila and Ilkka Niemel{\"a}}, language = "eng", title = "Conflict-Driven {XOR}-Clause Learning", url = "http://dx.doi.org/10.1007/978-3-642-31612-8_29", series = "Lecture Notes in Computer Science", booktitle = "Theory and Applications of Satisfiability Testing - SAT 2012", issn = "0302-9743", flags = "copy COIN LOGIC HIIT", country = "Germany", volume = "7317", eventlocation = "Trento, Italy", juforank = "1", il = "no", isbn = "978-3-642-31612-8", year = "2012", unitcode = "T306-99, T312-1", impactfactor = "A4", pages = "383--396" }