Sökning: onr:"swepub:oai:DiVA.org:ri-22087" >
Graph Invariants as...
Graph Invariants as Necessary Conditions for Global Constraints
-
Beldiceanu, Nicolas (författare)
-
- Carlsson, Mats (författare)
- RISE,Computer Systems Laboratory
-
Rampon, Jean-Xavier (författare)
-
visa fler...
-
Truchet, Charlotte (författare)
-
visa färre...
-
(creator_code:org_t)
- 1
- Swedish Institute of Computer Science, 2005
- Engelska 16 s.
-
Serie: SICS Technical Report, 1100-3154 ; 2005:07
-
Ingår i: CP'2005, Principles and Practice of Constraint Programming, LNCS. - : Swedish Institute of Computer Science. ; 3709, s. 92-106
- Relaterad länk:
-
https://ri.diva-port... (primary) (Raw object)
-
visa fler...
-
http://springerlink....
-
https://urn.kb.se/re...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- global constraint
- implied constraint
- graph invariant
Publikations- och innehållstyp
- vet (ämneskategori)
- rap (ämneskategori)