MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in O(s

Evgeny Dantsin, Alexander Wolpert

Browse the full SAT paper archive.