On the Consistency of Circuit Lower Bounds for Non-Deterministic Time

DOI10.1145/3564246.3585253arXiv2303.01016OpenAlexW4376639678MaRDI QIDQ6428147

Albert Atserias, Samuel R. Buss, Moritz Müller

Publication date: 2 March 2023

Full work available at URL: https://doi.org/10.1145/3564246.3585253

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: On the Consistency of Circuit Lower Bounds for Non-Deterministic Time