Solving MAX-r-SAT above a tight lower bound

Abstract

Full Citation:

Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo. 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.