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.

Authors

Haiou Shen

This author has not been identified. Look up 'Haiou Shen' in Google

Hantao Zhang

This author has not been identified. Look up 'Hantao Zhang' in Google