Solving parity games by a reduction to SAT (Q414902): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 91A05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A43
@@ Property / Mathematics Subject Classification ID: 91A43 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A80
@@ Property / Mathematics Subject Classification ID: 91A80 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6033503
@@ Property / zbMATH DE Number: 6033503 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parity games
@@ Property / zbMATH Keywords: parity games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+propositional satisfiability
@@ Property / zbMATH Keywords: propositional satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+difference logic
@@ Property / zbMATH Keywords: difference logic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2011.05.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2090204914
@@ Property / OpenAlex ID: W2090204914 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ Property / cites work @@
+On Nonterminating Stochastic Games
@@ Property / cites work: On Nonterminating Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+A subexponential randomized algorithm for the simple stochastic game problem
+Normal rank
@@ Property / cites work @@
+Q4540974
@@ Property / cites work: Q4540974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418690
@@ Property / cites work: Q4418690 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau-based model checking in the propositional mu-calculus
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and simple nested fixpoints
@@ Property / cites work: Fast and simple nested fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+A deterministic subexponential algorithm for solving parity games
+Normal rank
@@ Property / cites work @@
+Q4138187
@@ Property / cites work: Q4138187 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Timed Automata via Satisfiability Checking
+Normal rank
@@ Property / cites work @@
+Solving parity games by a reduction to SAT
@@ Property / cites work: Solving parity games by a reduction to SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q2848673
@@ Property / cites work: Q2848673 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Encodings of Bounded LTL Model Checking
@@ Property / cites work: Linear Encodings of Bounded LTL Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Model Checking for Weak Alternating Büchi Automata
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:414902