Theories for Subexponential-size Bounded-depth Frege Proofs.

Kaveh Ghasemloo Stephen A. Cook

Published in: CSL (2013)

Keyphrases

equational theories
computational complexity
databases
website
depth information
scales linearly
information systems
maximum number
neural network
data mining
artificial intelligence
depth map
theoretical framework
small size
formal models