Backtracking and probing. - Paul Walton Purdom Jr.; G. Neil Haven (Satisfiability Problem: Theory and Applications, 1996)

Probe Order Backtracking. - Paul Walton Purdom Jr.; G. Neil Haven (SIAM J. Comput., 1997)