On the Effect of Local Changes in the Variable Ordering of Ordered Decision Diagrams.

Beate Bollig Martin Löbbing Ingo Wegener

Published in: Inf. Process. Lett. (1996)

Keyphrases

variable ordering
binary decision diagrams
decision diagrams
branch and bound algorithm
boolean functions
search algorithm
multi dimensional
markov decision processes
industrial applications
multi valued
digital circuits