Un problème comporte un certain nombre de variables, chacune ayant un domaine fini, et un certain nombre de contraintes. Une contrainte implique une ou plusieurs variables, en définissant les ...