Computing and Exploiting Tree-Decompositions for Solving Constraint Networks