Takao Asano, Kuniaki Hori, Takao Ono, Tomio Hirata. A Theoretical Framework of Hybrid Approaches to MAX SAT. In Hon Wai Leong, Hiroshi Imai, Sanjay Jain, editors, Algorithms and Computation, 8th International Symposium, ISAAC 97, Singapore, December 17-19, 1997, Proceedings. Volume 1350 of Lecture Notes in Computer Science, pages 153-162, Springer, 1997.
Abstract is missing.