Bennett, Patrick; Bonacina, Ilario; Galesi, Nicola; Huynh, Tony; Molloy, Mike; Wollan, Paul Space proof complexity for random 3-CNFs. (English) Zbl 1423.03242 Inf. Comput. 255, Part 1, 165-176 (2017). MSC: 03F20 05C70 PDFBibTeX XMLCite \textit{P. Bennett} et al., Inf. Comput. 255, Part 1, 165--176 (2017; Zbl 1423.03242) Full Text: DOI arXiv
Tzameret, Iddo Algebraic proofs over noncommutative formulas. (English) Zbl 1251.03072 Inf. Comput. 209, No. 10, 1269-1292 (2011). MSC: 03F20 PDFBibTeX XMLCite \textit{I. Tzameret}, Inf. Comput. 209, No. 10, 1269--1292 (2011; Zbl 1251.03072) Full Text: DOI
Esteban, Juan Luis; Torán, Jacobo Space bounds for resolution. (English) Zbl 1005.03009 Inf. Comput. 171, No. 1, 84-97 (2001). MSC: 03B35 68T15 03F20 68Q25 PDFBibTeX XMLCite \textit{J. L. Esteban} and \textit{J. Torán}, Inf. Comput. 171, No. 1, 84--97 (2001; Zbl 1005.03009) Full Text: DOI
Krajíček, Jan; Pudlák, Pavel Some consequences of cryptographical conjectures for \(S_2^1\) and EF. (English) Zbl 0892.68029 Inf. Comput. 140, No. 1, 82-94 (1998). MSC: 68P25 PDFBibTeX XMLCite \textit{J. Krajíček} and \textit{P. Pudlák}, Inf. Comput. 140, No. 1, 82--94 (1998; Zbl 0892.68029) Full Text: DOI