URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7091 Global Constraint Catalog fre Catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms. programmation par contraintes constraint programming problème combinatoire problème de satisfaction de contraintes Constraint Satisfaction Problem propagation de contraintes algorithme de recherche de solution global constraint graph automaton first order formula symmetry ontology LOMv1.0 collection LOMv1.0 4 LOMv1.0 texte LOMv1.0 ensemble de données LOMFRv1.0 logiciel LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:BELDICEANU;Nicolas Beldiceanu;;; FN:Nicolas Beldiceanu BELDICEANU EMAIL;TYPE=INTERNET: ORG:IMT Atlantique END:VCARD 2015-06-15 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:IMT Atlantique;;;; FN:IMT Atlantique EMAIL;TYPE=INTERNET: ORG:IMT Atlantique END:VCARD 2015-06-15 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:UNIT;;;; FN:UNIT EMAIL;TYPE=INTERNET: ORG:UNIT END:VCARD 2015-06-15 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:RAMPON;Jean-Xavier;;; FN:Jean-Xavier RAMPON EMAIL;TYPE=INTERNET: ORG:IMT Atlantique END:VCARD 2015-06-15 URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7092 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 text/html http://sofdem.github.io/gccat/ LOMFRv1.0 outil LOMv1.0 lecture LOMv1.0 learner LOMv1.0 teacher LOMv1.0 higher education fre LOMv1.0 no LOMv1.0 yes Tous droits réservés LOMFRv1.0 est associée à URI https://www.pairform.fr/doc/1/14/43/web/co/IntroConstraintProgramming.html Introduction Constraint Programming LOMFRv1.0 est associée à URI https://www.pairform.fr/doc/1/14/24/web/co/coreconstraint.html Constraints programming LOMv1.0 discipline CDD 22e éd. 005.13 Génie Logiciel : Langage de programmation en général Classification UNIT 1305 Programmation : Algorithmique, langages, conception objet, programmes LOMv1.0 security level Projet OCW France tag-ocw Catalogue OCWC