Constraint Directed Dynamic Backtracking. - Eric J. Mulvaney; Scott D. Goodwin (Canadian AI, 2004)