Pseudo-Boolean optimization with a disjunctive constraint
scientific article; zbMATH DE number 745940