Fleming, Noah; Pankratov, Denis; Pitassi, Toniann; Robere, Robert Random \(\Theta(\log n)\)-CNFs are hard for cutting planes. (English) Zbl 07679915 J. ACM 69, No. 3, Paper No. 19, 32 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{N. Fleming} et al., J. ACM 69, No. 3, Paper No. 19, 32 p. (2022; Zbl 07679915) Full Text: DOI
Bonacina, Ilario; Galesi, Nicola A framework for space complexity in algebraic proof systems. (English) Zbl 1333.03238 J. ACM 62, No. 3, Article No. 23, 20 p. (2015). MSC: 03F20 03B05 03B35 03D15 68Q15 68T15 PDFBibTeX XMLCite \textit{I. Bonacina} and \textit{N. Galesi}, J. ACM 62, No. 3, Article No. 23, 20 p. (2015; Zbl 1333.03238) Full Text: DOI
Alistarh, Dan; Aspnes, James; Censor-Hillel, Keren; Gilbert, Seth; Guerraoui, Rachid Tight bounds for asynchronous renaming. (English) Zbl 1295.68118 J. ACM 61, No. 3, Article No. 18, 51 p. (2014). MSC: 68Q17 68M15 68P05 68Q85 68W40 PDFBibTeX XMLCite \textit{D. Alistarh} et al., J. ACM 61, No. 3, Article No. 18, 51 p. (2014; Zbl 1295.68118) Full Text: DOI
Williams, Ryan Nonuniform ACC circuit lower bounds. (English) Zbl 1295.68117 J. ACM 61, No. 1, Article No. 2, 32 p. (2014). MSC: 68Q15 68Q17 68Q25 94C10 PDFBibTeX XMLCite \textit{R. Williams}, J. ACM 61, No. 1, Article No. 2, 32 p. (2014; Zbl 1295.68117) Full Text: DOI