Global Constraint Catalog

Auteur(s) : Nicolas Beldiceanu BELDICEANU, Jean-Xavier RAMPON    2015-06-15,  2015-06-15  Éditeur(s) : IMT Atlantique   IMT Atlantique, UNIT   UNIT;     Description : 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. Mots-clés libres : 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 Accès à la ressource : http://sofdem.github.io/gccat/... Conditions d'utilisation : Tous droits réservés

DONNEES PEDAGOGIQUES Type pédagogique : outil, lecture Granularité : 4 Niveau : higher education Public cible : learner, teacher Langue de l'apprenant : fre DONNEES TECHNIQUES Format : text/html

Exporter au format XML