Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.
Jean FlowerJudith MasthoffGem StapletonPublished in: Diagrams (2004)
Keyphrases
- theorem proving
- decision procedures
- theorem prover
- automated reasoning
- first order logic
- parallel search
- inference rules
- automatic programming
- automated deduction
- proof planning
- automated theorem proving
- term rewriting
- proof procedure
- consequence finding
- combinatorial search
- proof search
- equational theories
- optimal solution
- distributed search
- logical inference
- search algorithm
- predicate calculus
- combinatorial optimization
- constraint satisfaction
- tabu search
- propositional logic
- mathematical knowledge
- simulated annealing
- semi supervised
- geometry theorem proving