Jan Bydzovsky, Igor Carboni Oliveira, Jan Krajícek. Consistency of circuit lower bounds with bounded theories. Electronic Colloquium on Computational Complexity (ECCC), 26:77, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.