Exponential Space Complexity for Symbolic Maximum Flow Algorithms in 0-1 Networks

Beate Bollig. Exponential Space Complexity for Symbolic Maximum Flow Algorithms in 0-1 Networks. In Petr Hlinený, Antonín Kucera, editors, Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6281 of Lecture Notes in Computer Science, pages 186-197, Springer, 2010. [doi]

Abstract

Abstract is missing.