An interactive logic synthesis system based upon AI techniques.

Nobuaki Kawato Takao Uehara Sadaki Hirose Takao Saito

Published in: DAC (1982)

Keyphrases

logic synthesis
multi valued
artificial intelligence
expert systems
knowledge representation
inductive learning
heuristic search
real time
databases
search space
logic programs