Karloff–Zwick algorithm
Appearance
Overview
The Karloff-Zwick algorithm in Computational complexity theory solves the MAX-3SAT problem in polynomial-time and satisfies ≥ 7/8 3SAT clauses.
References
A 7/8-approximation algorithm for MAX 3SAT? Karloff, H., Zwick, U. Foundations of Computer Science, 1997. Proceedings., 38th Annual Symposium on 20-22 Oct. 1997 Page(s):406 - 415