MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in O(s<sup>2</sup>) Time.

Evgeny Dantsin Alexander Wolpert MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in O(s<sup>2</sup>) Time. 266-276 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_26 db/conf/sat/sat2006.html#DantsinW06