Extending Clause Learning SAT Solvers with Complete Parity Reasoning (2012)
AUTHORS:
Laitinen Tero
,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
ICTAI 2012 - 24th IEEE International Conference on Tools with Artificial Intelligence
@inproceedings{ LaitinenJunttilaNiemela:ICTAI2012, author = {Laitinen, Tero and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "IEEE Computer Society Press", eventtime = "November 7--9", language = "eng", title = "Extending Clause Learning SAT Solvers with Complete Parity Reasoning", eventlocation = "Athens, Greece", booktitle = "ICTAI 2012 - 24th IEEE International Conference on Tools with Artificial Intelligence", flags = "copy LOGIC COIN HIIT", responsibleauthor = {Tero Laitinen and Tommi Junttila and Ilkka Niemel{\"a}}, optpages = "", juforank = "NA", il = "no", year = "2012", unitcode = "T306-99, T312-1", impactfactor = "A4", opteditor = "" }