A Theoretical Framework of Hybrid Approaches to MAX SAT.

Takao Asano Kuniaki Hori Takao Ono Tomio Hirata A Theoretical Framework of Hybrid Approaches to MAX SAT. 153-162 1997 conf/isaac/1997 ISAAC db/conf/isaac/isaac97.html#AsanoHOH97 http://dx.doi.org/10.1007/3-540-63890-3_18