1. [1] Antoniadis, A. and Lingas, A.: Approximability of Edge Matching Puzzles, Proc. 36th Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science, Vol.5901, pp.153-164, Špindlerův Mlýn, Czech Republic (2010).
2. [2] Arora, S., Lund, C., Motwani, R., Sudan, M. and Szegedy, M.: Proof Verification and the Hardness of Approximation Problems, J. ACM, Vol.45, No.3, pp.501-555 (1998).
3. [3] Arora, S. and Safra, S.: Probabilistic Checking of Proofs: A New Characterization of NP, J. ACM, Vol.45, No.1, pp.70-122 (1998).
4. [4] Bellare, M., Goldreich, O. and Sudan, M.: Free Bits, PCPs, and Nonapproximability — Towards Tight Results, SIAM Journal on Computing, Vol.27, No.3, pp.804-915 (1998).
5. [5] Cook, S.A.: The Complexity of Theorem-proving Procedures, Proc. 3rd Annual ACM Symposium on Theory of Computing, pp.151-158, Shaker Heights, Ohio, USA (1971).