A new bound for 3-satisfiable MaxSat and its algorithmic application. / Gutin, Gregory; Jones, Mark; Scheder, Dominic ; Yeo, Anders.
In: Information and Computation, 2013.Research output: Contribution to journal › Article › peer-review
A new bound for 3-satisfiable MaxSat and its algorithmic application. / Gutin, Gregory; Jones, Mark; Scheder, Dominic ; Yeo, Anders.
In: Information and Computation, 2013.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - A new bound for 3-satisfiable MaxSat and its algorithmic application
AU - Gutin, Gregory
AU - Jones, Mark
AU - Scheder, Dominic
AU - Yeo, Anders
PY - 2013
Y1 - 2013
M3 - Article
JO - Information and Computation
JF - Information and Computation
SN - 0890-5401
ER -