@article{logicconstrainedshortestpathsforflight,
  title = {Logic-Constrained Shortest Paths for Flight Planning},
  author = {Ricardo Euler and Pedro Maristany de las Casas and Ralf Borndörfer},
  year = {2024},
  eprint = {2412.13235},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2412.13235v3},
}