TY  - RPRT
TI  - Logic-Constrained Shortest Paths for Flight Planning
AU  - Ricardo Euler
AU  - Pedro Maristany de las Casas
AU  - Ralf Borndörfer
PY  - 2026
UR  - https://arxiv.org/abs/2412.13235
ID  - 2412.13235
ER  -