Search algorithms for automated validation.

Tom A. N. Engels Jan Friso Groote Muck van Weerdenburg Tim A. C. Willemse

Published in: J. Log. Algebraic Methods Program. (2009)

Keyphrases

search algorithm
fully automated
semi automated
heuristic search
computer assisted
data sets
digital libraries
computer aided
search methods
artificial intelligence
hidden markov models
constraint satisfaction problems
tabu search
fully automatic
selection algorithm
tree search