An Enhanced Algorithm for Variable Reordering in Binary Decision Diagrams.

Chaitanya Varma

Published in: ICCCNT (2018)

Keyphrases

preprocessing
dynamic programming
tree structure
binary decision diagrams
learning algorithm
optimal solution
np hard
variable ordering
search space
data model
knowledge acquisition