A Theoretical Framework of Hybrid Approaches to MAX SAT. - Takao Asano; Kuniaki Hori; Takao Ono; Tomio Hirata (ISAAC, 1997)