When and Why the Topological Coverage Criterion Works
ACM-SIAM Symposium on Discrete Algorithms, Barcelona, Spain, January 18, 2017