Fast Node Merging With Don't Cares Using Logic Implications.

Yung-Chih Chen Chun-Yao Wang

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)

Keyphrases

classical logic
logic programming
automated reasoning
proof theory
predicate logic
multi valued
directed graph
modal logic
computational properties
digital circuits
neural network
data sets
artificial intelligence
database
learning algorithm
logical framework
machine learning
asynchronous circuits
merging algorithm