Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT

Hai Leong Chieu, Wee Sun Lee. Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 247-252, AAAI Press, 2008.

@inproceedings{ChieuL08,
  title = {Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT},
  author = {Hai Leong Chieu and Wee Sun Lee},
  year = {2008},
  tags = {survey},
  researchr = {https://researchr.org/publication/ChieuL08},
  cites = {0},
  citedby = {0},
  pages = {247-252},
  booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008},
  editor = {Dieter Fox and Carla P. Gomes},
  publisher = {AAAI Press},
  isbn = {978-1-57735-368-3},
}