A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application.

Gregory Z. Gutin, Mark Jones, Anders Yeo

Browse the full FCT paper archive.