TY - RPRT TI - Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution AU - Fernando H. C. Dias AU - Hassan Hijazi AU - David Rey PY - 2020 UR - https://arxiv.org/abs/1911.12997 ID - 1911.12997 ER -