Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints.
Shujun DengZhiqiu KongJinian BianYanni ZhaoPublished in: ASP-DAC (2009)
Keyphrases
- constrained problems
- constraint satisfaction
- evaluation model
- hard constraints
- evaluation method
- genetic algorithm
- evaluation process
- constraint programming
- databases
- evaluation criteria
- user defined constraints
- linear constraints
- resource constraints
- global constraints
- evaluation methods
- evolutionary algorithm
- objective function
- search engine
- artificial intelligence
- neural network