Solving finite domain constraint hierarchies by local consistency and tree search. - Stefano Bistarelli; Philippe Codognet; H. K. C. Hui; Jimmy Ho-Man Lee (J. Exp. Theor. Artif. Intell., 2009)