Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem

Open in new window