MOPS -- Mathematical optimization system
scientific article; zbMATH DE number 527596
scientific article