Priestleyand Ward. A Multipurpose Backtracking Algorithm. Elsevier BV, 1994, doi:10.1006/jsco.1994.1035.