Incorporating bounds from decision diagrams into integer programming
scientific article; zbMATH DE number 7447065
scientific article