New Upper Bounds for Maximum Satisfiability.

Rolf Niedermeier Peter Rossmanith New Upper Bounds for Maximum Satisfiability. 63-88 2000 36 J. Algorithms 1 db/journals/jal/jal36.html#NiedermeierR00