Quantum Differential Evolution Algorithm for Variable Ordering Problem of Binary Decision Diagram.
Abdesslem LayebDjamel-Eddine SaïdouniPublished in: CSICC (2008)
Keyphrases
- binary decision diagrams
- differential evolution algorithm
- variable ordering
- evolutionary algorithm
- differential evolution
- control parameters
- boolean functions
- planning problems
- model checking
- optimization model
- traveling salesman problem
- particle swarm
- optimization algorithm
- optimization problems
- objective function
- genetic algorithm
- upper bound
- knowledge representation