The design of a 0-1 integer optimizer and its application in the Carmen system
scientific article; zbMATH DE number 1175105
scientific article