@inbook {IOPORT.05887205,
    author       = {Laitinen, Tero and Junttila, Tommi and Niemel\"a, Ilkka},
    title        = {Extending clause learning DPLL with parity reasoning.},
    year         = {2010},
    booktitle    = {ECAI 2010. 19th European conference on artificial intelligence, August 16--20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010).},
    isbn         = {978-1-60750-605-8},
    pages        = {21-26},
    publisher    = {Amsterdam: IOS Press},
    doi          = {10.3233/978-1-60750-606-5-21},
    abstract     = {Summary: We consider a combined satisfiability problem where an instance is given in two parts: a set of traditional clauses extended with a set of parity (xor) constraints. To solve such problems without translation to CNF, we develop a parity constraint reasoning method that can be integrated to a clause learning solver. The idea is to devise a module that offers a decision procedure and implied literal detection for parity constraints and also provides clausal explanations for implied literals and conflicts. We have implemented the method and integrated it to a state-of-the-art clause learning solver. The resulting system is experimentally evaluated and compared to state-of-the-art solvers.},
    identifier   = {05887205},
}