1
ressource :
BELDICEANU NICOLAS BELDICEANU
Rechercher
Aide
Recherche avancée
Recherche en cours
Par auteur
=
BELDICEANU NICOLAS BELDICEANU
1
1
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1
ressource
page 1
sur 1
résultats
1 à 1
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
1