@misc{indiciaecf0e6ca4a836,
  title = {Logic-Constrained Shortest Paths for Flight Planning},
  author = {Ricardo Euler and Pedro Maristany de las Casas and Ralf Borndörfer},
  year = {2026},
  url = {https://arxiv.org/abs/2412.13235},
  note = {Source identifier: 2412.13235}
}