Formal Algorithms + Formal Representations = Search Strategies.

Patrick D. Surry, Nicholas J. Radcliffe

Browse the full PPSN paper archive.