A new bound for 3-satisfiable MaxSat and its algorithmic application

Gregory Gutin, Mark Jones, Dominik Scheder, Anders Yeo. A new bound for 3-satisfiable MaxSat and its algorithmic application. Inf. Comput., 231:117-124, 2013. [doi]

Abstract

Abstract is missing.