K. (Konstantin) Sidorov
K. (Konstantin) Sidorov
Contact
Expertise
Publications
-
2024
Paths, Proofs, and Perfection
Developing a Human-Interpretable Proof System for Constrained Shortest Paths
Konstantin Sidorov / Gonçalo Homem de Almeida Correia / Mathijs de Weerdt / Emir Demirović
Ancillary activities
-
2024-01-01 - 2024-12-31