onr:"swepub:oai:DiVA.org:ri-22087"
Sökning: onr:"swepub:oai:DiVA.org:ri-22087" > Graph Invariants as...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
- Beldiceanu, Nicolas (författare)
Graph Invariants as Necessary Conditions for Global Constraints
- 1
- BokEngelska2005
Förlag, utgivningsår, omfång ...
- Swedish Institute of Computer Science,2005
- 16 s.
- electronicrdacarrier
Nummerbeteckningar
- LIBRIS-ID:oai:DiVA.org:ri-22087
- https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22087URI
- https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21077URI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Serie
- SICS Technical Report,1100-3154 ;2005:07
Anmärkningar
- 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 och genrebeteckningar
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- global constraint
- implied constraint
- graph invariant
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Carlsson, MatsRISE,Computer Systems Laboratory(Swepub:ri)MatsCa@ri.se (författare)
- Rampon, Jean-Xavier (författare)
- Truchet, Charlotte (författare)
- RISEComputer Systems Laboratory (creator_code:org_t)
Sammanhörande titlar
- Ingår i:CP'2005, Principles and Practice of Constraint Programming, LNCS: Swedish Institute of Computer Science3709, s. 92-106
Internetlänk
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Beldiceanu, Nico ...
- Carlsson, Mats
- Rampon, Jean-Xav ...
- Truchet, Charlot ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- Delar i serien
- SICS Technical R ...
- Artiklar i publikationen
- CP'2005, Princip ...
- Av lärosätet
- RISE
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
