Upper Bounds for MaxSat: Further Improved

Nikhil Bansal, Venkatesh Raman. Upper Bounds for MaxSat: Further Improved. In Alok Aggarwal, C. Pandu Rangan, editors, Algorithms and Computation, 10th International Symposium, ISAAC 99, Chennai, India, December 16-18, 1999, Proceedings. Volume 1741 of Lecture Notes in Computer Science, pages 247-258, Springer, 1999. [doi]

Abstract

Abstract is missing.