A branch and cut algorithm for MAX-SAT and weighted MAX-SAT. - Steve Joy; John E. Mitchell 001; Brian Borchers (Satisfiability Problem: Theory and Applications, 1996)