SODA

Global Constraint Catalog, 2nd Edition

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

[img]
Preview
PDF
18Mb

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:4041
Deposited By:Vicki Carleson
Deposited On:17 Nov 2010 13:41
Last Modified:17 Nov 2010 13:41

Repository Staff Only: item control page