Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms
Book title Buchtitel
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika | Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter | Konferenzbeitrag Inproceedings  | 2018 |