Login / Signup
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