Weighted stability number of graphs and weighted satisfiability: the two facets of pseudo-Boolean optimization
scientific article; zbMATH DE number 5898427