Solving parity games by a reduction to SAT
DOI10.1016/J.JCSS.2011.05.004zbMATH Open1279.68211OpenAlexW2090204914MaRDI QIDQ414902FDOQ414902
Martin Lange, Ilkka Niemelä, Misa Keinänen, Keijo Heljanko
Publication date: 11 May 2012
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2011.05.004
Applications of game theory (91A80) 2-person games (91A05) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The complexity of mean payoff games on graphs
- Extending and implementing the stable model semantics
- Symbolic model checking: \(10^{20}\) states and beyond
- Linear Encodings of Bounded LTL Model Checking
- Verification of Timed Automata via Satisfiability Checking
- Computer Aided Verification
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Notes on finite asynchronous automata
- On model checking for the \(\mu\)-calculus and its fragments
- Bounded model checking using satisfiability solving
- A subexponential randomized algorithm for the simple stochastic game problem
- Bounded model checking for all regular properties
- On Nonterminating Stochastic Games
- A deterministic subexponential algorithm for solving parity games
- Tableau-based model checking in the propositional mu-calculus
- Fast and simple nested fixpoints
- Solving parity games by a reduction to SAT
- Bounded Model Checking for Weak Alternating Büchi Automata
Cited In (9)
- Stable-unstable semantics: Beyond NP with normal logic programs
- Solving parity games by a reduction to SAT
- Parity game reductions
- SAT Modulo Graphs: Acyclicity
- Winning Regions of Pushdown Parity Games: A Saturation Method
- Solving Parity Games Using an Automata-Based Algorithm
- Improving parity game solvers with justifications
- Title not available (Why is that?)
- A CSP-Based Approach for Solving Parity Game
Uses Software
Recommendations
- Title not available (Why is that?) 👍 👎
- Solving Parity Games in Practice 👍 👎
- Solving Parity Games Using an Automata-Based Algorithm 👍 👎
- Solving parity games in big steps 👍 👎
- Solving Parity Games in Big Steps 👍 👎
- Solving parity games: explicit vs symbolic 👍 👎
- Parity game reductions 👍 👎
- Solving Parity Games on Integer Vectors 👍 👎
- Solving Counter Parity Games 👍 👎
- A CSP-Based Approach for Solving Parity Game 👍 👎
This page was built for publication: Solving parity games by a reduction to SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q414902)
