A crossover operation for evolutionary binary decision diagrams.
Kai SugimotoTsuyoshi NakamuraMasayoshi KanohPublished in: FUZZ-IEEE (2014)
Keyphrases
- binary decision diagrams
- genetic algorithm
- symbolic model checking
- boolean functions
- evolutionary algorithm
- genetic programming
- mutation rate
- variable ordering
- planning problems
- differential evolution
- databases
- evolutionary process
- fitness function
- population size
- data sets
- model checking
- sliding window
- general purpose
- dynamic programming
- artificial intelligence