Applications of Optimization to Logic Testing.
Garrett Kent KaminskiPaul AmmannPublished in: ICST Workshops (2010)
Keyphrases
- optimization process
- global optimization
- evolution strategy
- constrained optimization
- optimal design
- data mining
- evolutionary algorithm
- optimization problems
- classical logic
- optimization algorithm
- test cases
- asynchronous circuits
- optimization strategies
- computational properties
- automated reasoning
- test set
- logic programming
- description logics
- database systems
- case study