Solving MAX-r-SAT above a tight lower bound

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

32 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Solving MAX-r-SAT above a tight lower bound'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science