Publication
Computer-Aided Cryptographic Proofs
Publication
Robust online Hamiltonian learning
Publication
Round-Based Public Transit Routing
Publication
Dual-Space Analysis of the Sparse Linear Model
Publication
Hierarchical Hub Labelings for Shortest Paths
Publication
Seven Challenges in Parallel SAT Solving
Publication