Change search
ReferencesLink to record
Permanent link

Direct link
Graph Invariants as Necessary Conditions for Global Constraints
Number of Authors: 4
2005 (English)Report (Refereed)
Abstract [en]

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

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 2005, 1. , 16 p.
SICS Technical Report, ISSN 1100-3154 ; 2005:07
Keyword [en]
global constraint, implied constraint, graph invariant
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14275OAI: diva2:1035563
Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(356 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 356 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link