No Feasible Interpolation for TC0-Frege Proofs.

Maria Luisa Bonet Toniann Pitassi Ran Raz

Published in: FOCS (1997)

Keyphrases

image interpolation
feasible solution
interpolation method
databases
theorem prover
edge directed
mathematical proofs
artificial intelligence
linear programming
theorem proving
machine learning
image processing
band limited
low pass filtering
formal proof
piecewise polynomial