K. (Konstantin) Sidorov
K. (Konstantin) Sidorov
Contact
Expertise
Publicaties
-
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ć
Nevenwerkzaamheden
-
2024-01-01 - 2024-12-31