Matthias Poloczek, Georg Schnitger. Randomized Variants of Johnson’s Algorithm for MAX 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 656-663, SIAM, 2011. [doi]
Abstract is missing.