Experiments With a Multipurpose, Theorem-Proving Heuristic Program.
James R. SlaglePhilip BurskyPublished in: J. ACM (1968)
Keyphrases
- theorem proving
- automatic programming
- inference rules
- decision procedures
- parallel search
- first order logic
- term rewriting
- automated reasoning
- theorem prover
- automated theorem proving
- proof planning
- automated deduction
- consequence finding
- optimal solution
- proof procedure
- combinatorial optimization
- logical inference
- distributed search
- combinatorial search
- search algorithm
- geometry theorem proving
- predicate calculus
- propositional logic
- metaheuristic
- simulated annealing
- training data