A new approach to proving upper bounds for MAX-2-SAT

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]

Authors

Arist Kojevnikov

This author has not been identified. Look up 'Arist Kojevnikov' in Google

Alexander S. Kulikov

This author has not been identified. Look up 'Alexander S. Kulikov' in Google