A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems. - Brian Borchers; Judith Furman (J. Comb. Optim., 1998)