Pierre Hansen, Brigitte Jaumard: Algorithms for the maximum satisfiability problem. Computing 44(4): 279-303 (1990)