Karloff–Zwick algorithm
Appearance
Overview
The Karloff-Zwick algorithm in Computational complexity theory solves the MAX-3SAT problem in polynomial-time and satisfies &Ge; 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 Digital Object Identifier 10.1109/SFCS.1997.646129