Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units.

Elvio Gilberto Amparore Marco Beccuti Susanna Donatelli

Published in: ATVA (2017)

Keyphrases

variable ordering
decision diagrams
binary decision diagrams
digital circuits
image quality
knowledge based systems
data flow