A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems.

Brian Borchers Judith Furman A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems. 299-306 1998 2 J. Comb. Optim. 4 db/journals/jco/jco2.html#BorchersF98