Breeding Theorem Proving Heuristics with Genetic Algorithms.
Simon SchäferStephan SchulzPublished in: GCAI (2015)
Keyphrases
- theorem proving
- genetic algorithm
- first order logic
- term rewriting
- search heuristics
- automated reasoning
- automated theorem proving
- theorem prover
- decision procedures
- parallel search
- automatic programming
- inference rules
- consequence finding
- automated deduction
- proof planning
- logical inference
- proof procedure
- geometry theorem proving
- combinatorial search
- simulated annealing
- search strategies
- genetic programming
- search algorithm
- evolutionary computation
- heuristic search
- metaheuristic
- evolutionary algorithm
- machine learning
- deductive databases
- predicate calculus
- distributed search
- tabu search
- search space