@misc{indiciaeed3613aea8fd,
  title = {Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem},
  author = {Hai Leong Chieu and Wee Sun Sun Lee},
  year = {2014},
  doi = {10.1613/jair.2808},
  url = {https://arxiv.org/abs/1401.3483},
  note = {Source identifier: 1401.3483}
}