A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances. - Spencer K. L. Fung; Denny J. Zheng; Ho-fung Leung; Jimmy Ho-Man Lee; Hon Wai Chun (ICTAI, 2004)