Login / Signup

An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space.

John FearnleySanjay JainBart de KeijzerSven ScheweFrank StephanDominik Wojtczak
Published in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
  • linear space
  • space efficient
  • data sets
  • bayesian networks
  • databases
  • database systems
  • search algorithm
  • worst case