Hypertree Decomposition for Solving Constraint Satisfaction Problems. - Abdelmalek Ait-Amokhtar; Kamal Amroun; Zineb Habbas (ICAART, 2009)