Solving Parity Games by a Reduction to SAT

Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä

    Research output: Contribution to journalArticleScientificpeer-review

    6 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)430-440
    JournalJournal of Computer and System Sciences
    Volume78
    Issue number2
    DOIs
    Publication statusPublished - 2012
    MoE publication typeA1 Journal article-refereed

    Keywords

    • Difference logic
    • Parity games
    • Propositional satisfiability

    Cite this