Q5020527 (Q5020527): Difference between revisions

@@ Property / cites work @@
+An exponential lower bound for Cunningham's rule
@@ Property / cites work: An exponential lower bound for Cunningham's rule / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Parity Games via Priority Promotion
@@ Property / cites work: Solving Parity Games via Priority Promotion / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384167
@@ Property / cites work: Q3384167 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving parity games via priority promotion
@@ Property / cites work: Solving parity games via priority promotion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995363
@@ Property / cites work: Q4995363 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding parity games in quasipolynomial time
@@ Property / cites work: Deciding parity games in quasipolynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Attracting tangles to solve parity games
@@ Property / cites work: Attracting tangles to solve parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5020529
@@ Property / cites work: Q5020529 / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Non-oblivious Strategy Improvement
@@ Property / cites work: Non-oblivious Strategy Improvement / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient parallel strategy improvement for parity games
+Normal rank
@@ Property / cites work @@
+The Complexity of All-switches Strategy Improvement
+Normal rank
@@ Property / cites work @@
+An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms
+Normal rank
@@ Property / cites work @@
+Recursive algorithm for parity games requires exponential time
+Normal rank
@@ Property / cites work @@
+A Subexponential Lower Bound for Zadeh’s Pivoting Rule for Solving Linear Programs and Games
+Normal rank
@@ Property / cites work @@
+A superpolynomial lower bound for strategy iteration based on snare memorization
+Normal rank
@@ Property / cites work @@
+Q5365038
@@ Property / cites work: Q5365038 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Practice
@@ Property / cites work: Solving Parity Games in Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4992503
@@ Property / cites work: Q4992503 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144638
@@ Property / cites work: Q5144638 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542592
@@ Property / cites work: Q4542592 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games played on finite graphs
@@ Property / cites work: Infinite games played on finite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Solving Parity Games Using an Automata-Based Algorithm
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank