Two decomposition algorithms for solving a minimum weight maximum clique model for the air conflict resolution problem - Lehouillier, Thibault; Omer, Jérémy; Soumis, François; Desaulniers, Guy (European Journal of Operational Research, 2017)