Diversity enforced Genetic Algorithm (GA) for Binary Decision Diagram (BDD) reordering.
Baker AbdalhaqAmjad HawashAhmed AwadPublished in: Appl. Soft Comput. (2024)
Keyphrases
- binary decision diagrams
- genetic algorithm ga
- premature convergence
- boolean functions
- fitness function
- population diversity
- particle swarm optimization pso
- simulated annealing
- genetic algorithm
- artificial neural networks
- planning problems
- decision diagrams
- hybrid ga
- model checking
- parameter optimization
- neural network
- pso algorithm
- genetic programming
- initial population
- evolutionary algorithm
- knowledge based systems
- crossover operator
- knowledge compilation
- state space
- boolean formula
- data structure
- real coded