Improved Approximation Algorithms for Max-2SAT with Cardinality Constraint.

Markus Blser, Bodo Manthey

Browse the full ISAAC paper archive.