On the approximation of maximum satisfiability (1992)

by M Yannakakis
Venue:In proc. 3rd Symp. on Discrete Algorithms, ACM-SIAM