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 (Groupe d’études et de recherche en analyse des décisions, 2015)