Automated synthesis of combinational logic using problem solving techniques.
Huy Nam NguyenL. DucoussoPublished in: SPLT (1989)
Keyphrases
- semi automated
- information processing
- complex problem solving
- program synthesis
- case based reasoning
- computer aided
- artificial intelligence
- knowledge acquisition
- fully automated
- analogical reasoning
- distributed artificial intelligence
- solving problems
- knowledge structures
- distributed problem solving
- cooperative learning
- explanation based learning
- real world
- evolutionary algorithm
- search algorithm
- machine learning