Relaxed survey propagation: A sum-product algorithm for max-SAT - Chieu, H.L. (2013)
Proceedings of the National Conference on Artificial Intelligence