Howard J. Karloff, Uri Zwick: A 7/8-Approximation Algorithm for MAX 3SAT? FOCS 1997: 406-415