Markus Bläser, Bodo Manthey. Improved Approximation Algorithms for Max-2SAT with Cardinality Constraint. In Prosenjit Bose, Pat Morin, editors, Algorithms and Computation, 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings. Volume 2518 of Lecture Notes in Computer Science, pages 187-198, Springer, 2002. [doi]
Abstract is missing.