Global Constraint Catalog, 2nd Edition (revision a) - Archive ouverte HAL
Autre Publication Scientifique Année : 2011

Global Constraint Catalog, 2nd Edition (revision a)

Nicolas Beldiceanu
Connectez-vous pour contacter l'auteur
Theory, Algorithms and Systems for Constraints
CV
Mats Carlsson
SICS
Jean-Xavier Rampon
  • Fonction : Auteur
Laboratoire d'Informatique de Nantes Atlantique

Résumé

This report presents a 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.

Domaines

Mathématique discrète [cs.DM]

Contraintes Lina  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00754041

Soumis le : mardi 20 novembre 2012-08:12:05

Dernière modification le : mardi 17 septembre 2024-15:55:14

Fichier non déposé

Dates et versions

hal-00754041 , version 1 (20-11-2012)

Identifiants

  • HAL Id : hal-00754041 , version 1

Citer

Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon. Global Constraint Catalog, 2nd Edition (revision a). 2011. ⟨hal-00754041⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA LINA LINA-TASC INFO INRIA2 TDS-MACS LS2N IMT-ATLANTIQUE NANTES-UNIVERSITE INSTITUT-MINES-TELECOM
300 Consultations
0 Téléchargements

Partager

More