Study of Lower Bound Functions for MAX-2-SAT

Haiou Shen, Hantao Zhang. Study of Lower Bound Functions for MAX-2-SAT. In Deborah L. McGuinness, George Ferguson, editors, Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA. pages 185-190, AAAI Press / The MIT Press, 2004.

Abstract

Abstract is missing.