Pages that link to "Item:Q414902"
From MaRDI portal
The following pages link to Solving parity games by a reduction to SAT (Q414902):
Displaying 10 items.
- Solving parity games by a reduction to SAT (Q414902) (← links)
- Improving parity game solvers with justifications (Q784159) (← links)
- Parity game reductions (Q1656552) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- SAT Modulo Graphs: Acyclicity (Q2938490) (← links)
- (Q3011193) (← links)
- Winning Regions of Pushdown Parity Games: A Saturation Method (Q3184687) (← links)
- A CSP-Based Approach for Solving Parity Game (Q3507327) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems (Q5005159) (← links)