Ian Miguel Qiang Shen Solution Techniques for Constraint Satisfaction Problems: Foundations. 243-267 2001 15 Artif. Intell. Rev. 4 db/journals/air/air15.html#MiguelS01