An oscillating algorithm for variable ordering in binary decision diagram.

Mohamed Taher A. Salem H. Mahdi A. Wahdan

Published in: ICECS (2000)

Keyphrases

variable ordering
binary decision diagrams
database
objective function
dynamic programming
tree structure
constraint satisfaction
genetic algorithm
reinforcement learning
linear programming
search strategy
randomly generated