Sökning: onr:"swepub:oai:DiVA.org:ri-23984" >
Global Constraint C...
Global Constraint Catalog, 2nd Edition (revision a)
-
Beldiceanu, Nicolas (författare)
-
- Carlsson, Mats (författare)
- RISE,Computer Systems Laboratory
-
Rampon, Jean-Xavier (författare)
-
(creator_code:org_t)
- 6
- Kista, Sweden : Swedish Institute of Computer Science, 2012
- Engelska.
-
Serie: SICS Technical Report, 1100-3154 ; 2012:03
- Relaterad länk:
-
https://ri.diva-port... (primary) (Raw object)
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- This report presents a catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- constraint programming
- global constraint
- catalogue
- graph
- automaton
- first order formula
- meta-data
- ontology
- symmetry
Publikations- och innehållstyp
- vet (ämneskategori)
- rap (ämneskategori)