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