Formal Algorithms + Formal Representations = Search Strategies.

Patrick D. Surry Nicholas J. Radcliffe

Published in: PPSN (1996)

Keyphrases

search strategies
search strategy
learning algorithm
orders of magnitude
search methods
search algorithm
constraint programming
feature extraction
cost function
probabilistic model
constraint satisfaction
sat solvers
highly efficient
search procedures