On Belief Propagation Guided Decimation for Random k-SAT

Amin Coja-Oghlan. On Belief Propagation Guided Decimation for Random k-SAT. In Dana Randall, editor, Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, California, USA, January 23-25, 2011. pages 957-966, SIAM, 2011. [doi]

Abstract

Abstract is missing.