Global Constraint Catalog
KTH Publication Database DiVA (KTH Royal Institute of Technology)Published 15 June 2015Open access
Nicolas Beldiceanu, Mats Carlsson
Citations169
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This report presents a catalog of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and some typical usage as well as some pointers to existing filtering algorithms.
Abstract
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.
Keywords
Computer Science