SCIP: solving constraint integer programs
scientific article; zbMATH DE number 5618764
scientific article