Passer au contenu principal
Publication

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