@misc{indiciaee95c6741956f,
  title = {Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution},
  author = {Dias, Fernando H. C. and Hijazi, Hassan Lionel and Rey, David},
  year = {2021},
  doi = {10.1016/j.ejor.2021.03.059},
  url = {https://www.osti.gov/biblio/1779669},
  note = {Source identifier: 1779669}
}