Approximation and Small-Depth Frege Proofs.

Stephen J. Bellantoni Toniann Pitassi Alasdair Urquhart

Published in: SIAM J. Comput. (1992)

Keyphrases

approximation error
depth map
data sets
expert systems
error bounds
approximation methods
database
information systems
high quality
markov random field
closed form
efficient computation
small size
depth estimation
relative error
formal proofs