Alehknovich, M., Buss, S., Moran, S., and Pitassi, T., Minimum propositional proof length is NP-hard to linearly approximate (extended abstract), Mathematical foundations of computer science (mfcs′98), Lecture Notes in Computer Science #1450, Springer Verlag, 1998, pp. 176–184.
Arora, S., Babai, L., Stern, J., and Sweedyk, Z., The hardness of approximate optima in lattices, codes, and systems of linear equations, Journal of Computer and System Sciences, vol. 54 (1997), pp. 317–331, Earlier version in Proceedings of the 34th Symposium on the Foundations of Computer Science, 1993, pp.724-733.
Arora, S. and Lund, C., Hardness of approximations, Approximation algorithms for NP-hard problems (Hochbaum, D. S., editor), PWS Publishing Co., Boston, 1996.
Beame, P., Impagliazzo, R., Krajíček, J., Pitassi, T., and Pudlák, P., Lower bounds on Hilbert's Nullstellensatz and propositional proofs, Proceedings of the London Mathematical Society, vol. 73 (1996), pp. 1–26.
Beame, P. and Pitassi, T., Simplified and improved resolution lower bounds, 37th annual symposium on foundations of computer science, IEEE Computer Society Press, Los Alamitos, California, 1996, pp. 274–282.
Bellare, M., Goldwasser, S., Lund, C., and Russell, A., Efficient probabalistically checkable proofs and applications to approximation, Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1993, pp. 294–304.
Bonet, M., Gavalda, R., Domingo, C., Maciel, A., and Pitassi, T., NO feasible interpolation or automatization for bounded-depth frege systems. 1998, Manuscript.
Bonet, M. L., The Lengths of Propositional Proofs and the Deduction Rule, Ph.D. thesis, U.C. Berkeley, 1991.
Bonet, M. L., Pitassi, T., and Raz, R.. No feasible interpolation for TC0-Frege proofs, Proceedings of the 38th annual symposium on foundations of computer science, IEEE Computer Society, Piscataway, New Jersey, 1997, pp. 264–263.
Buss, S. R., Some remarks on lengths of propositional proofs, Archive for Mathematical Logic, vol. 34 (1995), pp. 377–394.
Buss, S.R., On Gödel's theorems on lengths of proofs. II. Lower bounds for recognizing k symbol provability, Feasible mathematics II (Clote, P. and Remmel, J.. editors). Birkhäuser Boston, Boston, MA, 1995, pp. 57–90.
Clegg, M., Edmonds, J., and Impagliazzo, R.. Using the Groebner basis algorithm to find proofs of unsatisfiability, Proceedings of the twenty-eighth annual acm symposium on the theory of computing (New York), Association for Computing Machinery, 1996, pp. 174–183.
Cook, S. A. and Reckhow, R. A., The relative efficiency of propositional proof systems, this Journal, vol. 44 (1979), pp. 36–50.
Dinur, I. and Safra, S., On the hardness of approximating label cover, Technical Report TR99-015, ECCC. 1999. http://www.eccc.uni-trier.de.
Goldwasser, M. H. and Motwani, R., Intractability of assembly sequencing: Unit disks in the plane, Proceedings of the Workshop on Algorithms and Data Structures, Lecture Notes in Computer Science #1272, Springer-Verlag, 1997, pp. 307–320.
Goldwasser, M. H., Complexity measures for assembly sequences, International Journal of Computational Geometry & Applications, vol. 9 (1999), pp. 371–417.
Iwama, K., Complexity of finding short resolution proofs, Mathematical foundations of computer science 1997, Lecture Notes in Computer Science #1295, Springer-Verlag, 1997, pp. 309–318.
Iwama, K. and Miyano, E., Intractibility of read-once resolution, Proceedings of the Tenth Annual Conference on Structure in Complexity Theory, IEEE Computer Society, Los Alamitos, California. 1995. pp. 29–36.
Khanna, S., Sudan, M., and Trevisan, L., Constraint satisfaction: the approximability of minimization problems, Twelfth annual ieee conference on computational complexity, IEEE Computer Society, 1997, pp. 282–296.
Krajíček, J. and Pudlák, P., Some consequences of cryptographical conjectures for S21 and EF, Logic and computational complexity (Leivant, D., editor), Lecture Notes in Computer Science #960, Springer-Verlag, Berlin, 1995, pp. 210–220.
Lund, C. and Yannakakis, M., On the hardness of approximating minimization problems, Journal of the Association for Computing Machinery, vol. 41 (1994), pp. 960–981.
Raz, R. and Safra, S., A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP, Proceedings of the 29-th Annual ACM Symposium on Theory of Computing, 1997, pp. 475–484.
Reckhow, R. A., On the Lengths of Proofs in the Propositional Calculus, Ph.D. thesis, Department of Computer Science, University of Toronto, 1976, Technical Report #87.
Statman, R., Complexity of derivations from quantifier-free Horn formulae, mechanical introduction of explicit definitions, and refinement of completeness theorems, Logic colloquium ′76 (Gandy, R. and Hyland, M., editors), North-Holland, Amsterdam, 1977, pp. 505–517.