Login / Signup

Dynamic segregative genetic algorithm for optimizing the variable ordering of ROBDDs.

Cristian RotaruOctav Brudaru
Published in: GECCO (2012)
Keyphrases
  • variable ordering
  • genetic algorithm
  • binary decision diagrams
  • branch and bound algorithm
  • multi objective
  • neural network
  • knowledge base
  • computational complexity
  • lower bound
  • metaheuristic
  • search strategy