Login / Signup
Narrow Proofs May Be Maximally Long.
Albert Atserias
Massimo Lauria
Jakob Nordström
Published in:
Electron. Colloquium Comput. Complex. (2014)
Keyphrases
</>
decision trees
database
data sets
genetic algorithm
multi agent
theorem prover
theorem proving