Relaxed survey propagation for the weighted maximum satisfiability problem - Chieu, H.L. (2013)
10.1613/jair.2808