The following pages link to Solving Counter Parity Games (Q2912718):
Displaying 6 items.
- Solving parity games by a reduction to SAT (Q414902) (← links)
- Computer solution to the game of pure strategy (Q2345029) (← links)
- Uniform strategies, rational relations and jumping automata (Q2346407) (← links)
- Solving Games Without Determinization (Q3613352) (← links)
- Solving Parity Games on the GPU (Q5166708) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431341) (← links)