Arist Kojevnikov, Alexander S. Kulikov. A new approach to proving upper bounds for MAX-2-SAT. In Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2006, Miami, Florida, USA, January 22-26, 2006. pages 11-17, ACM Press, 2006. [doi]
Abstract is missing.