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. ...
outil, cours / présentation - Date de création : 15-06-2015
Partagez !

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

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)

Diffusion

Partagez !

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
  • Entrepôt d'origine
    UNIT
  • Date de publication
    15-06-2015