Algorithms for the Maximum Satisfiability Problem - Hansen, Pierre; Jaumard, Brigitte (Computing, 1990)