A Spectral Method for MAX2SAT in the Planted Solution Model

Masaki Yamamoto. A Spectral Method for MAX2SAT in the Planted Solution Model. In Takeshi Tokuyama, editor, Algorithms and Computation, 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings. Volume 4835 of Lecture Notes in Computer Science, pages 112-123, Springer, 2007. [doi]

Abstract

Abstract is missing.