Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution.
Fernando H. C. DiasHassan L. HijaziDavid ReyPublished in: Eur. J. Oper. Res. (2022)
Keyphrases
- conflict resolution
- mixed integer
- mixed integer linear programming
- valid inequalities
- continuous variables
- totally unimodular
- linear program
- feasible solution
- resolve conflicts
- lot sizing
- benders decomposition
- continuous relaxation
- quadratic program
- optimal solution
- convex hull
- mixed integer programming
- resolving conflicts
- cutting plane
- sufficient conditions
- network design problem
- integer variables
- linear programming
- lagrangian heuristic
- quadratic programming
- column generation
- answer sets
- dynamic systems