Activity-Based Search for Black-Box Contraint-Programming Solvers

Laurent D. Michel Pascal Van Hentenryck

Published in: CoRR (2011)

Keyphrases

black box
white box
black boxes
search space
candidate solutions
programming language
test cases
integration testing
search strategy
white box testing
hybrid systems
search methods
training set
intelligent systems
search heuristics
constraint solver
software engineering
search algorithm
databases