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