Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT

Hai Leong Chieu, Wee Sun Lee. Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 247-252, AAAI Press, 2008.

Authors

Hai Leong Chieu

This author has not been identified. Look up 'Hai Leong Chieu' in Google

Wee Sun Lee

This author has not been identified. Look up 'Wee Sun Lee' in Google