Methods Used in an Automatic Logic Design Generator (ALERT).

Theodore D. Friedman Sih-Chin Yang

Published in: IEEE Trans. Computers (1969)

Keyphrases

benchmark datasets
neural network
knowledge based systems
database
data mining
machine learning
artificial intelligence
case study
image sequences
significant improvement
empirical studies
semi automatic
classification method
model checking
qualitative and quantitative
logic synthesis