Publication
Publication
Dual-Space Analysis of the Sparse Linear Model
Publication
Hierarchical Hub Labelings for Shortest Paths
Publication
Seven Challenges in Parallel SAT Solving
Publication
Round-Based Public Transit Routing
Publication