The following pages link to Parity game reductions (Q1656552):
Displaying 6 items.
- Solving parity games by a reduction to SAT (Q414902) (← links)
- Dual reduction and elementary games (Q1378023) (← links)
- (Q3574149) (← links)
- Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems (Q5005159) (← links)
- Generalized Parity Games (Q5758061) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)