Login / Signup

On threshold BDDs and the optimal variable ordering problem.

Markus Behle
Published in: J. Comb. Optim. (2008)
Keyphrases
  • variable ordering
  • binary decision diagrams
  • branch and bound algorithm
  • conflict directed
  • heuristic search
  • data mining
  • genetic algorithm
  • reinforcement learning
  • search space
  • tree structure