@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 = "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 = ""
}