Robert Crowston, Gregory Gutin, Mark Jones, Anders Yeo. A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application. In Venkatesh Raman, Saket Saurabh, editors, Parameterized and Exact Computation - 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings. Volume 6478 of Lecture Notes in Computer Science, pages 84-94, Springer, 2010. [doi]
Abstract is missing.