On the approximation of maximum satisfiability. In: (1992)

by M Yannakakis