Login / Signup
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 Demirovic
Published in:
AAAI (2024)
Keyphrases
</>
shortest path
shortest path problem
road network
path length
routing algorithm
optimal path
shortest path algorithm
weighted graph
path queries
minimum cost flow
cut elimination
modal logic
theorem proving
geodesic distance
wireless sensor networks
proof search
shortest distance
strongly connected components