Les Probl mes Mixtes Continu/Discret En Programmation Par Contraintes

Les contraintes apparaissent spontanément dans nombre de situations auxquelles sont confrontés les ętres humains. Elles formalisent d'une maničre transparente et naturelle les dépendances qui existent dans le monde physique ou ses représentations abstraites. Étant donné un ensemble de contraintes, portant chacune sur un sous-ensemble donné d'un certain nombre de variables auxquelles on cherche ŕ affecter une valeur, une question centrale est de savoir s'il existe une possibilité de satisfaire simultanément toutes ces contraintes et, le cas échéant, quelles valeurs on peut affecter ŕ chaque variable pour ętre sűr de satisfaire toutes les contraintes. La programmation par contraintes est une discipline dont le but est de résoudre des problčmes posés sous la forme de contraintes. Selon E. Freuder, l'un des pionniers de cette discipline, c'est męme en informatique l'une des approches les plus réussies ŕ ce jour du Saint-Graal de la programmation: l'utilisateur définit le problčme, l'ordinateur le résout. Cependant, les problčmes mixtes, qui utilisent ŕ la fois des variables entičres, discrčtes, et des variables réelles, continues, ont trčs peu été considérés jusqu'ici.