Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Ajtai, M.
1988.
The complexity of the pigeonhole principle.
p.
346.
Buss, Samuel R.
and
Turán, Győrgy
1988.
Resolution proofs of generalized pigeonhole principles.
Theoretical Computer Science,
Vol. 62,
Issue. 3,
p.
311.
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.
Goerdt, Andreas
1992.
Computer Science Logic.
Vol. 626,
Issue. ,
p.
119.
Clote, Peter
1992.
ALOGTIME and a conjecture of S.A. Cook.
Annals of Mathematics and Artificial Intelligence,
Vol. 6,
Issue. 1-3,
p.
57.
Bellantoni, Stephen
Pitassi, Toniann
and
Urquhart, Alasdair
1992.
Approximation and Small-Depth Frege Proofs.
SIAM Journal on Computing,
Vol. 21,
Issue. 6,
p.
1161.
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.
Buss, Samuel R.
1995.
Some remarks on lengths of propositional proofs.
Archive for Mathematical Logic,
Vol. 34,
Issue. 6,
p.
377.
Clote, Peter
and
Takeuti, Gaisi
1995.
Feasible Mathematics II.
p.
154.
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.
Krajíček, Jan
1995.
Feasible Mathematics II.
p.
284.