Multi-grid cellular genetic algorithm for optimizing variable ordering of ROBDDs.
Cristian RotaruOctav BrudaruPublished in: IEEE Congress on Evolutionary Computation (2012)
Keyphrases
- variable ordering
- genetic algorithm
- binary decision diagrams
- branch and bound algorithm
- conflict directed
- cellular automata
- neural network
- multi objective
- metaheuristic
- propositional satisfiability
- domain specific
- constraint satisfaction
- branch and bound
- special case
- boolean functions
- max sat
- lower bound
- objective function
- forward checking