TY - RPRT TI - Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution AU - Dias, Fernando H. C. AU - Hijazi, Hassan Lionel AU - Rey, David PY - 2021 DO - 10.1016/j.ejor.2021.03.059 UR - https://www.osti.gov/biblio/1779669 ID - 1779669 ER -