K. (Konstantin) Sidorov

K. (Konstantin) Sidorov

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