@inproceedings{
    LaitinenJunttilaNiemela:ICTAI2012_ini,
    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",
    opteditor = "",
    responsibleauthor = {Tero Laitinen and Tommi Junttila and Ilkka Niemel{\"a}},
    optpages = "",
    flags = "copy LOGIC COIN HIIT",
    il = "no",
    year = "2012",
    unitcode = "T306-99, T312-1",
    impactfactor = "A4",
    juforank = "NA"
}
AUTHORS:
