On Relativisation and Complexity Gap
暂无分享,去创建一个
[1] Eli Ben-Sasson,et al. Near Optimal Separation Of Tree-Like And General Resolution , 2004, Comb..
[2] Jan Krajícek,et al. Bounded arithmetic, propositional logic, and complexity theory , 1995, Encyclopedia of mathematics and its applications.
[3] Zvi Galil,et al. Proceedings of the 30th IEEE symposium on Foundations of computer science , 1994, FOCS 1994.
[4] Pavel Pudlák. Proofs as Games , 2000, Am. Math. Mon..
[5] Maria Luisa Bonet,et al. A study of proof search algorithms for resolution and polynomial calculus , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).
[6] Toniann Pitassi,et al. Simplified and improved resolution lower bounds , 1996, Proceedings of 37th Conference on Foundations of Computer Science.
[7] Armin Haken,et al. The Intractability of Resolution , 1985, Theor. Comput. Sci..
[8] Søren Riis,et al. Tree resolution proofs of the weak pigeon-hole principle , 2001, Proceedings 16th Annual IEEE Conference on Computational Complexity.
[9] Jan Krajícek. Combinatorics of first order structures and propositional proof systems , 2004, Arch. Math. Log..
[10] Søren Riis. A complexity gap for tree resolution , 2001, computational complexity.