Backtracking and probing (1993)

by P W Purdom, G N Haven