Approximation and Small-Depth Frege Proofs

Open Webpage

Stephen J. Bellantoni, Toniann Pitassi, Alasdair Urquhart

Published: 1992, Last Modified: 15 May 2025SIAM J. Comput. 1992EveryoneRevisionsBibTeXCC BY-SA 4.0