Using binary decision diagrams for constraint handling in combinatorial interaction testing.
Tatsuhiro TsuchiyaPublished in: CoRR (2019)
Keyphrases
- constraint handling
- binary decision diagrams
- constrained optimization
- constrained optimization problems
- particle swarm optimization
- genetic algorithm
- penalty function
- evolution strategy
- symbolic model checking
- evolutionary optimization
- boolean functions
- optimal design
- differential evolution
- evolutionary algorithm
- model checking
- planning problems
- optimization problems
- multi objective