Sommaire
outil, cours / présentation
Global Constraint Catalog
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. ...
Date de création :
15.06.2015Auteur(s) :
Nicolas Beldiceanu BELDICEANU, Jean-Xavier RAMPONAccéder à la ressource :
Présentation
Informations pratiques
Langue du document : Français
Type : outil, cours / présentation
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, ensemble de données, logiciel
Public(s) cible(s) : apprenant, enseignant
Document : Document HTML
Droits d'auteur : pas libre de droits, gratuit
Tous droits réservés
Tous droits réservés
Description de la ressource
Résumé
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.
- Granularité : module
- Structure : collection
"Domaine(s)" et indice(s) Dewey
- Génie Logiciel : Langage de programmation en général (005.13)
Domaine(s)
- Informatique
- Programmation : Algorithmique, langages, conception objet, programmes
- Informatique
Intervenants, édition et diffusion
Édition
- IMT Atlantique
- UNIT
Diffusion
Cette ressource vous est proposée par :
Document(s) annexe(s)
- Cette ressource est associée à
Fiche technique
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7091
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-7091
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : UNIT
Voir aussi
18.06.2015
Description
:
This second module deals with application-oriented constraints.
At the end of this module, the learner will be able to master the core constraints.
- 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
- counting constraint
- nvalue constraint
- global cardinality
- graph con ...
18.06.2015
Description
:
This first module introduces basic constraints in constraint programming. Constraint programming is used to represent a problem so as succinct, ie ideally with few variables and few constraints.
The first part explain in natural langage a programming constraint and give interpreting of the notation ...
- 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
- alldifferent constraint
- element constraint