Login / Signup
Sibling-substitution-based BDD minimization using don't cares.
Youpyo Hong
Peter A. Beerel
Jerry R. Burch
Kenneth L. McMillan
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2000)
Keyphrases
</>
objective function
boolean functions
binary decision diagrams
neural network
convex minimization
information retrieval
artificial intelligence
image processing
data structure
relational databases
minimization problems
global minimization