Author name: Ricardo Euler, Pedro Maristany de las Casas, Ralf Bornd\"orfer

arXiv:2412.13235v4 Announce Type: replace
Abstract: 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 flight planning, w…