A Theoretical Framework of Hybrid Approaches to MAX SAT.

Takao Asano, Kuniaki Hori, Takao Ono, Tomio Hirata

Browse the full ISAAC paper archive.