ISBN-13: 9786131578298 / Francuski / Miękka / 2018 / 228 str.
Les contraintes apparaissent spontanA(c)ment dans nombre de situations auxquelles sont confrontA(c)s les Aatres humains. Elles formalisent d''une maniA]re transparente et naturelle les dA(c)pendances qui existent dans le monde physique ou ses reprA(c)sentations abstraites. A0/00tant donnA(c) un ensemble de contraintes, portant chacune sur un sous-ensemble donnA(c) d''un certain nombre de variables auxquelles on cherche A affecter une valeur, une question centrale est de savoir s''il existe une possibilitA(c) de satisfaire simultanA(c)ment toutes ces contraintes et, le cas A(c)chA(c)ant, quelles valeurs on peut affecter A chaque variable pour Aatre sAr de satisfaire toutes les contraintes. La programmation par contraintes est une discipline dont le but est de rA(c)soudre des problA]mes posA(c)s sous la forme de contraintes. Selon E. Freuder, l''un des pionniers de cette discipline, c''est mAame en informatique l''une des approches les plus rA(c)ussies A ce jour du Saint-Graal de la programmation: l''utilisateur dA(c)finit le problA]me, l''ordinateur le rA(c)sout. Cependant, les problA]mes mixtes, qui utilisent A la fois des variables entiA]res, discrA]tes, et des variables rA(c)elles, continues, ont trA]s peu A(c)tA(c) considA(c)rA(c)s jusqu''ici.
Les contraintes apparaissent spontanément dans nombre de situations auxquelles sont confrontés les êtres humains. Elles formalisent dune 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é dun certain nombre de variables auxquelles on cherche à affecter une valeur, une question centrale est de savoir sil 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, lun des pionniers de cette discipline, cest même en informatique lune des approches les plus réussies à ce jour du Saint-Graal de la programmation: lutilisateur définit le problème, lordinateur 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 jusquici.