Extending SAT Solver With Parity Constraints (2010)

AUTHORS:
Laitinen Tero

@mastersthesis{
    laitinent,
    author = "Laitinen, Tero",
    owner = "OEK",
    school = "Aalto University",
    year = "2010",
    address = "Espoo, Finland",
    title = "Extending SAT Solver With Parity Constraints"
}