conftrace_

constrained shortest path

2 papers

Explore in graph

Also known as

CSP

Co-occurring keywords · papers mentioning both

bidirectional a* algorithm (1) proof system (1) human-auditable explanation (1) graph concept reasoning (1) resource constrained path (1) bidirectional a* (1) algorithmic verification (1) shortest path algorithm (1) path finding (1) resource constrained (1)

Papers

Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths AAAI 2024 A Fast Exact Algorithm for the Resource Constrained Shortest Path Problem AAAI 2021