Approximation and Small Depth Frege Proofs.

Stephen J. Bellantoni Toniann Pitassi Alasdair Urquhart

Published in: Computational Complexity Conference (1991)

Keyphrases

small number
closed form
probabilistic model
error bounds
depth information
theorem prover
theorem proving
computer programs
approximation error