Fast graph simplification for interleaved Dyck-reachability
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 11, 2020
- Source ID
- 10.1145/3385412.3386021
Entities
People
- Qirun Zhang
- Thomas Reps
- Yuanbo Li
Organizations
- Georgia Tech
- National Science Foundation
- Office of Naval Research
- University of Wisconsin–Madison