Formal Analysis, Hardness, and Algorithms for Extracting Internal Structure of Test-Based Problems.

Wojciech Jaskowski Krzysztof Krawiec

Published in: Evol. Comput. (2011)

Keyphrases

formal analysis
optimization problems
benchmark problems
computational complexity
data structure
worst case
test problems
partial solutions
decision trees
case study
search algorithm
relational databases
test cases
combinatorial optimization
smart card
black box