IR-576: (2007) Culotta, A., McCallum, A., Selman, B. and Sabharwal, A., "Sparse Message Passing Algorithms for Weighted Maximum Satisfiability," presented at North East Student Colloquium on Artificial Intelligence (NESCAI), Ithaca, NY. [View Abstract] [View bibtex]