Graph invariants as necessary conditions for global constraints

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier and Truchet, Charlotte (2005) Graph invariants as necessary conditions for global constraints. CP'2005, Principles and Practice of Constraint Programming, LNCS, 3709 . pp. 92-106.

Full text not available from this repository.

Official URL:


This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global constraints. This scheme is based on invariants on the graph characteristics used in the description of a global constraint. A SICStus Prolog implementation based on arithmetic and logical constraints as well as on indexicals is available.

Item Type:Article
ID Code:203
Deposited By:ISL Researcher
Deposited On:19 Jan 2006
Last Modified:18 Nov 2009 15:54

Repository Staff Only: item control page