Abdelmalek Ait-Amokhtar Kamal Amroun Zineb Habbas Hypertree Decomposition for Solving Constraint Satisfaction Problems. 85-92 2009 ICAART conf/icaart/2009 db/conf/icaart/icaart2009.html#Ait-AmokhtarAH09