Randomized Variants of Johnson’s Algorithm for MAX SAT

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]

Authors

Matthias Poloczek

This author has not been identified. Look up 'Matthias Poloczek' in Google

Georg Schnitger

This author has not been identified. Look up 'Georg Schnitger' in Google