Kuniaki Hori

A Theoretical Framework of Hybrid Approaches to MAX SAT

Takao Asano, Tomio Hirata, Takao Ono, 1997, ISAAC.

Approximation Algorithms for MAX SAT : Semidefinite Programming and Network Flows Approach

Takao Asano, Tomio Hirata, Takao Ono, 1997 .