3 résultats : problème combinatoire

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
3 résultats
page 1 sur 1
résultats 1 à 3
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