Programming Combinations of Deduction and BDD-based Symbolic Calculation.
Michael J. C. GordonPublished in: LMS J. Comput. Math. (2002)
Keyphrases
- binary decision diagrams
- programming language
- heuristic search algorithms
- computer programming
- connectionist learning
- symbolic description
- programming environments
- inference rules
- high level language
- data sets
- automated deduction
- connectionist models
- calculation method
- theorem prover
- object oriented
- data structure
- high level
- case study