Solving Parity Games by a Reduction to SAT

Reference:

Keijo Heljanko, Misa Keinänen, Martin Lange, and Ilkka Niemelä. Solving parity games by a reduction to SAT. Journal of Computer and System Sciences, to appear.

Suggested BibTeX entry:

@article{HeljankoKLN:JCSS2011,
    author = {Keijo Heljanko and Misa Kein{\"a}nen and Martin Lange and Ilkka Niemel{\"a}},
    journal = {Journal of Computer and System Sciences},
    title = {Solving Parity Games by a Reduction to {SAT}},
    year = {to appear},
}