Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDs.

Octav Brudaru Cristian Rotaru Iulian Marius Furdu

Published in: SYNASC (2011)

Keyphrases

variable ordering
genetic algorithm
binary decision diagrams
branch and bound algorithm
conflict directed
multi objective
forward checking
boolean functions
neural network
reinforcement learning
evolutionary algorithm
upper bound
particle swarm optimization