Approximating Satisfiable Satisfiability Problems

Luca Trevisan. Approximating Satisfiable Satisfiability Problems. Algorithmica, 28(1):145-172, 2000. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: