Solving MAX-r-SAT above a Tight Lower Bound

Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo

Research output: Contribution to journal › Article › peer-review

78 Scopus citations

Fingerprint

Dive into the research topics of 'Solving MAX-r-SAT above a Tight Lower Bound'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics