4 résultats : propagation de contrainte

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
4 résultats
page 1 sur 1
résultats 1 à 4
UNIT
Introduction Constraint Programming
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 ...
Mots clés : 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
Date : 18-06-2015
Format : Document HTML
Auteur : BELDICEANU Nicolas
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, autoévaluation, questionnaire
Niveau : enseignement supérieur
Public : apprenant, enseignant
Droits : 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
UNIT
Constraints programming
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.
Mots clés : 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 constraints, ...
Date : 18-06-2015
Format : Document HTML
Auteur : BELDICEANU Nicolas
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, autoévaluation, questionnaire
Niveau : enseignement supérieur
Public : apprenant, enseignant
Droits : 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
UNIT
Global Constraint Catalog
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 : 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
Date : 15-06-2015
Format : Document HTML
Auteur : BELDICEANU Nicolas Beldiceanu, RAMPON Jean-Xavier
Thème : Informatique
Type de la ressource pédagogique : outil, cours / présentation
Niveau : enseignement supérieur
Public : apprenant, enseignant
Droits : Tous droits réservés
UNIT
La programmation par contraintes
Description : Grâce à elle, le programme informatique résolvant un problème peut s’écrire de manière très simple. Il s’agit simplement d’écrire les différentes contraintes que l’on souhaite voir respectées…
Mots clés : programmation logique, algorithme, solveur, langage haut niveau, recherche opérationnelle, propagation de contrainte, optimisation, fuscia
Date : 20-02-2004
Format : Document HTML
Auteur : Parizot Étienne, Soliman Sylvain, Fages François
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode