Narrow Proofs May Be Maximally Long.

Albert Atserias Massimo Lauria Jakob Nordström

Published in: ACM Trans. Comput. Log. (2016)

Keyphrases

theorem proving
computer vision
formal proofs
machine learning
genetic algorithm
artificial intelligence
information systems
decision trees
support vector
multiresolution
computer programs
decision procedures
long period