Solving MAX-r-SAT above a tight lower bound

Alon, Noga, Gutin, Gregory, Kim, Eun Jung, Stefan Szeider, Yeo, Anders
January 2011
Cite DOI
Type
Journal Article
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.