@inproceedings{
    LJN:ECAI2010,
    author = {Laitinen, Tero and Junttila, Tommi and Niemel{\"a}, Ilkka},
    publisher = "IOS Press",
    responsibleauthor = "Laitinen, Tero",
    title = "Extending Clause Learning {DPLL} with Parity Reasoning",
    series = "Frontiers in Artificial Intelligence and Applications",
    booktitle = "Proceedings of the 19th European Conference on Artificial Intelligence, {ECAI~2010}",
    corerank = "A",
    volume = "215",
    flags = "MCM copy",
    year = "2010",
    impactfactor = "A4",
    pages = "21--26"
}