Automated Design of Circuits from Recursion Equations Using Theorem-Proving Technique.
Masateru HaraoKoji IwanumaPublished in: Systems and Computers in Japan (1990)
Keyphrases
- theorem proving
- automated design
- evolutionary design
- first order logic
- engineering design
- decision procedures
- inference rules
- automated reasoning
- term rewriting
- theorem prover
- automated deduction
- security protocols
- proof procedure
- parallel search
- consequence finding
- proof planning
- automated theorem proving
- mechanism design
- cooperative
- artificial intelligence
- deductive databases
- proof search
- genetic programming
- probability distribution
- genetic algorithm
- equational theories