Pages that link to "Item:Q1756345"
From MaRDI portal
The following pages link to New deterministic algorithms for solving parity games (Q1756345):
Displaying 11 items.
- Graph operations on parity games and polynomial-time algorithms (Q906273) (← links)
- New deterministic algorithms for solving parity games (Q1756345) (← links)
- (Q2802974) (redirect page) (← links)
- Parameterized Algorithms for Parity Games (Q2946404) (← links)
- Winning Regions of Pushdown Parity Games: A Saturation Method (Q3184687) (← links)
- A Deterministic Subexponential Algorithm for Solving Parity Games (Q3395043) (← links)
- A CSP-Based Approach for Solving Parity Game (Q3507327) (← links)
- Algorithms for Parity Games (Q4412830) (← links)
- (Q4418690) (← links)
- Deciding parity games in quasipolynomial time (Q4977976) (← links)
- A Multi-Core Solver for Parity Games (Q5415659) (← links)