The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover.
Kenneth RoePublished in: CAV (2006)
Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- automated theorem proving
- first order logic
- term rewriting
- automated deduction
- higher order logic
- inference rules
- formal proof
- formal semantics
- natural deduction
- computer algebra
- optimal solution
- mathematical knowledge
- simulated annealing
- search algorithm
- computer algebra systems
- boolean algebra
- knowledge representation
- proof planning
- training set
- training data