2 papers
cs.AI2026
Logic-Constrained Shortest Paths for Flight Planning
Ricardo Euler, Pedro Maristany de las Casas, Ralf Borndörfer
The logic-constrained shortest path problem (LCSPP) combines a one-to-one shortest path problem with satisfiability constraints imposed on the routing graph. This setting arises in…
cs.DS2024
Labeling Methods for Partially Ordered Paths
Ricardo Euler, Pedro Maristany de las Casas
The landscape of applications and subroutines relying on shortest path computations continues to grow steadily. This growth is driven by the undeniable success of shortest path alg…