Solving MAX-r-SAT above a tight lower bound

Abstract

Full Citation:

Alon, Noga, Gutin, Gregory, Kim, Eun Jung, Szeider, Stefan, Yeo, Anders. Solving MAX-r-SAT above a tight lower bound. Algorithmica, volume 61, number 3, pages 638-655, 2011.

Stefan Szeider

Head of Research Unit

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