Two decomposition algorithms for solving a minimum weight maximum clique model for the air conflict resolution problem
scientific article; zbMATH DE number 6872239