Safe BDD Minimization Using Don't Cares.

Youpyo Hong Peter A. Beerel Jerry R. Burch Kenneth L. McMillan

Published in: DAC (1997)

Keyphrases

objective function
boolean functions
binary decision diagrams
computer vision
information systems
three dimensional
regularization term
minimization problems
geometric interpretation
learning algorithm
data streams
expert systems
cost function
convex minimization