Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm.
Octav BrudaruRüdiger EbendtIulian Marius FurduPublished in: SYNASC (2010)
Keyphrases
- variable ordering
- binary decision diagrams
- genetic algorithm
- genetic algorithm ga
- branch and bound algorithm
- job shop scheduling problem
- boolean functions
- conflict directed
- fitness function
- particle swarm optimization
- heuristic search
- model checking
- forward checking
- evolutionary algorithm
- multi objective
- max sat
- tabu search
- neural network
- lower bound
- knowledge compilation
- planning problems
- simulated annealing
- sat solvers
- scheduling problem
- optimization problems