1. Approximation algorithms for MAX SAT: Yannakakis vs. Goemans and Williamson;Asano,1997
2. Approximation algorithms and heuristics for MAX-SAT;Battiti,1998
3. Repeated games with finite automata;Ben-Porath;Journal of Economic Theory,1993
4. The complexity of theorem proving procedures;Cook,1971
5. Introduction to Algorithms;Cormen,2001