Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Introduction to AlgorithmsIntroduces algorithms as problem-solving procedures, covering complexity, correctness, and implementation in various languages.