4 résultats : programmation par contraintes

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
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
 En savoir plus
 Description complète
Introduction Constraint Programming
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
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
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
 En savoir plus
 Description complète
Constraints programming
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
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
Droits : Tous droits réservés
 En savoir plus
 Description complète
Global Constraint Catalog
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
La combinatoire des Sudokus
Description : En quoi le jeu du Sudoku est-il lié aux recherches en informatique ? C’est par sa nature combinatoire.
Mots clés : optimisation combinatoire, programmation par contraintes, fuscia
Date : 27-01-2006
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
 En savoir plus
 Description complète
La combinatoire des Sudokus
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé