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…