@article{3134129b1b1b43aaa1964edbb03a4cf8,
title = "Solving Parity Games by a Reduction to SAT",
keywords = "Difference logic, Parity games, Propositional satisfiability, Difference logic, Parity games, Propositional satisfiability, Difference logic, Parity games, Propositional satisfiability",
author = "Keijo Heljanko and Misa Kein{\"a}nen and Martin Lange and Ilkka Niemel{\"a}",
note = "VK: stmcdes dc hiit",
year = "2012",
doi = "10.1016/j.jcss.2011.05.004",
language = "English",
volume = "78",
pages = "430--440",
journal = "Journal of Computer and System Sciences",
issn = "0022-0000",
publisher = "Elsevier",
number = "2",
}