Variable Ordering of BDDs using Genetic Algorithm.
Moi RibaJatindra Kumar DekaPublished in: IICAI (2005)
Keyphrases
- variable ordering
- binary decision diagrams
- genetic algorithm
- conflict directed
- boolean functions
- branch and bound algorithm
- planning problems
- forward checking
- multi objective
- heuristic search
- model checking
- max sat
- simulated annealing
- tree structure
- constraint satisfaction
- tabu search
- metaheuristic
- knowledge compilation
- propositional satisfiability
- search space