Pages that link to "Item:Q2830208"
From MaRDI portal
The following pages link to Solving Parity Games Using an Automata-Based Algorithm (Q2830208):
Displaying 13 items.
- Solving the parity problem in one-dimensional cellular automata (Q272769) (← links)
- Solving parity games by a reduction to SAT (Q414902) (← links)
- Improving parity games in practice (Q2043434) (← links)
- (Q3384882) (← links)
- A CSP-Based Approach for Solving Parity Game (Q3507327) (← links)
- Simulation Relations for Alternating Parity Automata and Parity Games (Q3617046) (← links)
- Algorithms for Parity Games (Q4412830) (← links)
- (Q5020527) (← links)
- (Q5020529) (← links)
- (Q5020998) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- On the Way to Alternating Weak Automata (Q5090957) (← links)
- (Q5114824) (← links)