@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 = "COIN,HIIT,LOGIC",
    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"
}