Breeding Theorem Proving Heuristics with Genetic Algorithms.

Simon Schäfer Stephan Schulz

Published 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