Ressource pédagogique : 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. ...
Mots-clés :
outil, cours / présentation - Date de création : 15-06-2015
Présentation de: Global Constraint Catalog
Informations pratiques sur cette ressource
Français
Type pédagogique : outil, cours / présentation
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, ensemble de données, logiciel
Public(s) cible(s) : apprenant, enseignant
Document : Document HTML
Droits : pas libre de droits, gratuit
Tous droits réservés
Tous droits réservés
Description de la ressource pédagogique
Description (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)
Thème(s)
Intervenants, édition et diffusion
Editeur(s)
-
IMT Atlantique
Voir toutes les ressources pédagogiques -
UNIT
Voir toutes les ressources pédagogiques
Diffusion
AUTEUR(S)
-
Nicolas Beldiceanu BELDICEANU
IMT Atlantique -
Jean-Xavier RAMPON
IMT Atlantique
ÉDITION
IMT Atlantique
UNIT
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-7091 -
Identifiant
unit-ori-wf-1-7091 -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
UNIT -
Date de publication
15-06-2015
