TY - RPRT TI - Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem AU - Hai Leong Chieu AU - Wee Sun Sun Lee PY - 2014 DO - 10.1613/jair.2808 UR - https://arxiv.org/abs/1401.3483 ID - 1401.3483 ER -