A Problem-Oriented Search Procedure for Theorem Proving.
Daniel H. FishmanPublished in: IEEE Trans. Computers (1976)
Keyphrases
- search procedure
- theorem proving
- proof search
- search algorithm
- simulated annealing
- first order logic
- automated deduction
- search space
- parallel search
- theorem prover
- tabu search
- automated reasoning
- decision procedures
- inference rules
- term rewriting
- automatic programming
- path relinking
- proof planning
- search procedures
- automated theorem proving
- geometry theorem proving
- proof procedure
- predicate calculus
- consequence finding
- machine learning
- metaheuristic
- orders of magnitude
- multi objective
- guided local search