Search: onr:"swepub:oai:DiVA.org:ri-22087" >
Graph Invariants as...
Graph Invariants as Necessary Conditions for Global Constraints
-
Beldiceanu, Nicolas (author)
-
- Carlsson, Mats (author)
- RISE,Computer Systems Laboratory
-
Rampon, Jean-Xavier (author)
-
show more...
-
Truchet, Charlotte (author)
-
show less...
-
(creator_code:org_t)
- 1
- Swedish Institute of Computer Science, 2005
- English 16 s.
-
Series: SICS Technical Report, 1100-3154 ; 2005:07
-
In: CP'2005, Principles and Practice of Constraint Programming, LNCS. - : Swedish Institute of Computer Science. ; 3709, s. 92-106
- Related links:
-
https://ri.diva-port... (primary) (Raw object)
-
show more...
-
http://springerlink....
-
https://urn.kb.se/re...
-
https://urn.kb.se/re...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- global constraint
- implied constraint
- graph invariant
Publication and Content Type
- vet (subject category)
- rap (subject category)
To the university's database