Variable ordering for shared binary decision diagrams targeting node count and path length optimisation using particle swarm technique.
A. MitraSantanu ChattopadhyayPublished in: IET Comput. Digit. Tech. (2012)
Keyphrases
- path length
- variable ordering
- particle swarm
- binary decision diagrams
- genetic algorithm
- shortest path
- particle swarm optimization
- particle swarm optimization algorithm
- optimization method
- multi objective
- swarm intelligence
- boolean functions
- evolutionary algorithm
- small world
- differential evolution
- optimization methods
- branch and bound algorithm
- planning problems
- fitness function
- hybrid algorithm
- pso algorithm
- max sat
- optimization algorithm
- model checking
- genetic programming
- domain specific
- scheduling problem