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.
Series
SICS Technical Report, ISSN 1100-3154 ; 2005:07
Keyword [en]
global constraint, implied constraint, graph invariant
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22087OAI: oai:DiVA.org:ri-22087DiVA: diva2:1041629
Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

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

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
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