Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Buss, Samuel R.
and
Turán, Győrgy
1988.
Resolution proofs of generalized pigeonhole principles.
Theoretical Computer Science,
Vol. 62,
Issue. 3,
p.
311.
Ajtai, M.
1988.
The complexity of the pigeonhole principle.
p.
346.
Clote, P.
1990.
ALOGTIME and a conjecture of S.A. Cook.
p.
181.
Goerdt, Andreas
1991.
Computer Science Logic.
Vol. 533,
Issue. ,
p.
174.
Buss, Samuel R.
1991.
Propositional consistency proofs.
Annals of Pure and Applied Logic,
Vol. 52,
Issue. 1-2,
p.
3.
Bellantoni, S.
Pitassi, T.
and
Urquhart, A.
1991.
Approximation and small depth Frege proofs.
p.
367.
Bellantoni, Stephen
Pitassi, Toniann
and
Urquhart, Alasdair
1992.
Approximation and Small-Depth Frege Proofs.
SIAM Journal on Computing,
Vol. 21,
Issue. 6,
p.
1161.
Clote, Peter
1992.
ALOGTIME and a conjecture of S.A. Cook.
Annals of Mathematics and Artificial Intelligence,
Vol. 6,
Issue. 1-3,
p.
57.
Goerdt, Andreas
1992.
Computer Science Logic.
Vol. 626,
Issue. ,
p.
119.
Urquhart, Alasdair
1992.
Logic from Computer Science.
Vol. 21,
Issue. ,
p.
597.
Clote, P.
1992.
Cutting planes and constant depth Frege proofs.
p.
296.
Pitassi, Toniann
Beame, Paul
and
Impagliazzo, Russell
1993.
Exponential lower bounds for the pigeonhole principle.
Computational Complexity,
Vol. 3,
Issue. 2,
p.
97.
Vlach, Frank
1993.
Simplification in a satisfiability checker for VLSI applications.
Journal of Automated Reasoning,
Vol. 10,
Issue. 1,
p.
115.
Impagliazzo, R.
Pitassi, T.
and
Urquhart, A.
1994.
Upper and lower bounds for tree-like cutting planes proofs.
p.
220.
McClurkin, David J.
1994.
A lower bound for tree resolution.
Discrete Applied Mathematics,
Vol. 54,
Issue. 1,
p.
37.
Krajíček, Jan
Pudlák, Pavel
and
Woods, Alan
1995.
An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle.
Random Structures & Algorithms,
Vol. 7,
Issue. 1,
p.
15.
Urquhart, Alasdair
1995.
The Complexity of Propositional
Proofs.
Bulletin of Symbolic Logic,
Vol. 1,
Issue. 4,
p.
425.
Bonet, Maria Luisa
Buss, Samuel R.
and
Pitassi, Toniann
1995.
Feasible Mathematics II.
p.
30.
Clote, Peter
and
Takeuti, Gaisi
1995.
Feasible Mathematics II.
p.
154.
Buss, Samuel R.
1995.
Some remarks on lengths of propositional proofs.
Archive for Mathematical Logic,
Vol. 34,
Issue. 6,
p.
377.