Global Constraint Catalog, 2nd Edition (revision a)
Number of Authors: 3
2012 (English)Report (Other academic)
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.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 2012, 6.
SICS Technical Report, ISSN 1100-3154 ; 2012:03
constraint programming, global constraint, catalogue, graph, automaton, first order formula, meta-data, ontology, symmetry
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-23984OAI: oai:DiVA.org:ri-23984DiVA: diva2:1043063