Wanlin Pang Scott D. Goodwin Constraint-Directed Backtracking. 47-56 1997 conf/ausai/1997 Australian Joint Conference on Artificial Intelligence db/conf/ausai/ausai1997.html#PangG97 http://dx.doi.org/10.1007/3-540-63797-4_57