Sommaire
cours / présentation, autoévaluation, questionnaire
Introduction Constraint Programming
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...
Date de création :
18.06.2015Auteur(s) :
Nicolas BELDICEANUAccéder à la ressource :
Présentation
Informations pratiques
Langue du document : Français
Type : cours / présentation, autoévaluation, questionnaire
Temps d'apprentissage : 10 heures
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, ressource interactive
Public(s) cible(s) : apprenant, enseignant
Document : Document HTML
Droits d'auteur : pas libre de droits, gratuit
Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'IMT Atlantique. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'IMT Atlantique. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
Description de la ressource
Résumé
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 used. The second part focus on the constraint "alldifferent", and the last part focus on the constraint "element". At the end of this module the learner will be able to understand the different facets of a constraint. He will become familiar with the two most important global constraints: alldifferent and element.
- Granularité : cours
- Structure : linéaire
"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-7099
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-7099
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 ...
15.06.2015
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.
- 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,; ...