Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams.

Published in: SWAT (2020)

Keyphrases

variable ordering
binary decision diagrams
optimal solution
dynamic programming
computational complexity
branch and bound algorithm
conflict directed
objective function
simulated annealing
randomly generated
evolutionary algorithm
np hard
np complete
tree structure
search strategy