Weighted stability number of graphs and weighted satisfiability: the two facets of pseudo-Boolean optimization

de Werra, DominiqueHammer, Peter L.2007-05-012007-05-012007-05-01200710.1007/s10479-006-0101-0https://infoscience.epfl.ch/handle/20.500.14299/6451WOS:0002440654000119883Weighted stability number of graphs and weighted satisfiability: the two facets of pseudo-Boolean optimizationtext::journal::journal article::research article