Solving Parity Games by a Reduction to SAT

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

  • University of Kassel
  • Espotel Oy

Details

Original languageEnglish
Pages (from-to)430-440
JournalJOURNAL OF COMPUTER AND SYSTEM SCIENCES
Volume78
Issue number2
Publication statusPublished - 2012
MoE publication typeA1 Journal article-refereed

    Research areas

  • Difference logic, Parity games, Propositional satisfiability

ID: 759066