Time and Parallelizability Results for Parity Games with Bounded Treewidth

John Fearnley, Sven Schewe. Time and Parallelizability Results for Parity Games with Bounded Treewidth. In Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer, editors, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Volume 7392 of Lecture Notes in Computer Science, pages 189-200, Springer, 2012. [doi]

Abstract

Abstract is missing.