Pages that link to "Item:Q2946404"
From MaRDI portal
The following pages link to Parameterized Algorithms for Parity Games (Q2946404):
Displaying 14 items.
- The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs (Q477199) (← links)
- Parity game reductions (Q1656552) (← links)
- New deterministic algorithms for solving parity games (Q1756345) (← links)
- A randomized subexponential algorithm for parity games (Q2765924) (← links)
- Recursive algorithm for parity games requires exponential time (Q3117548) (← links)
- (Q3384876) (← 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 Quasi-polynomial Time (Q5073521) (← links)
- Solving Parity Games on the GPU (Q5166708) (← links)
- A Multi-Core Solver for Parity Games (Q5415659) (← links)
- Generalized Parity Games (Q5758061) (← links)