no code implementations • 15 Jan 2014 • Hai Leong Chieu, Wee Sun Sun Lee
In this paper, we formulate the relaxed survey propagation (RSP) algorithm, which extends the SP algorithm to apply to the weighted Max-SAT problem.