Solving parity games by a reduction to SAT

2011/05/20 by Keijo Heljanko, Misa Keinänen, Martin Lange +1 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · doi:10.1016/j.jcss.2011.05.004

Cited by

• Symmetric Strategy Improvement