A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation

Matthias Baaz Christian G. Fermüller Alexander Leitsch

Published in: LICS (1994)

Keyphrases

structural information
neural network
theorem prover
machine learning
multi agent
search algorithm
databases
real world
image processing
case study
similarity measure
search space
hidden markov models
structural analysis
finite alphabet