SODA

Global Constraint Catalog, 2nd Edition (revision a)

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2012) Global Constraint Catalog, 2nd Edition (revision a). [SICS Report]

[img]
Preview
PDF
12Mb

Abstract

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.

Item Type:SICS Report
Uncontrolled Keywords:constraint programming, global constraint, catalogue, graph, automaton, first order formula, meta-data, ontology, symmetry
ID Code:5195
Deposited By:Vicki Carleson
Deposited On:17 Feb 2012 16:50
Last Modified:17 Feb 2012 16:50

Repository Staff Only: item control page