Separation results for the size of constant-depth propositional proofs.

Arnold Beckmann Samuel R. Buss

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

propositional logic
theorem proving
first order logic
depth information
small size
formal proofs
data sets
learning algorithm
image sequences
depth map
theorem prover
decision procedures
equational theories