Logo der Universität Wien

Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter

Citation
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
29th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2018)
Divisions
Theory and Applications of Algorithms
Subjects
Theoretische Informatik
Event Location
New Orleans, LA, USA
Event Type
Conference
Event Dates
January 7-10, 2018
Date
2018
Export
Grafik Top
Contact us
Faculty of Computer Science
University of Vienna

Währinger Straße 29
A-1090 Vienna