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

Hai Leong Chieu, Wee Sun Lee

Browse the full AAAI paper archive.