Nonsystematic Backtracking Search (1995)

by William D. Harvey, Matthew L. Ginsberg