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, 78(2):430–440, 2012.

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},
    language = {eng},
    number = {2},
    pages = {430-440},
    title = {Solving Parity Games by a Reduction to {SAT}},
    volume = {78},
    year = {2012},
}