@techreport{76e7f2abfde1412dabd70e43c7d3f069,
title = "Extending SAT Solver with Parity Constraints",
keywords = "Boolean logic, conflict-driven, parity constraint, SAT, Boolean logic, conflict-driven, parity constraint, SAT, Boolean logic, conflict-driven, parity constraint, SAT",
author = "Tero Laitinen",
year = "2010",
language = "English",
isbn = "978-952-60-3223-8",
series = "TKK reports in information and computer science",
publisher = "Aalto-yliopiston teknillinen korkeakoulu",
number = "32; TKK-ICS-R32",
pages = "73",
type = "WorkingPaper",
institution = "Aalto-yliopiston teknillinen korkeakoulu",
}