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. Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2010, Austin, Texas, USA, January 17-19, 2010 (Moses Charikar), pages 511-517, 2010, SIAM.

Stefan Szeider

Head of Research Unit

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