Variable Ordering of BDDs with Parallel Genetic Algorithms.

Umberto Souza da Costa David Déharbe Anamaria Martins Moreira

Published in: PDPTA (2000)

Keyphrases

parallel genetic algorithms
variable ordering
binary decision diagrams
boolean functions
conflict directed
parallel genetic algorithm
planning problems
model checking
forward checking
knowledge compilation
island model
evolutionary algorithm
neural network
heuristic search