Global Constraint Catalog, 2nd Edition
Number of Authors: 3
2010 (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 , 2010, 7.
SICS Technical Report, ISSN 1100-3154 ; 2010:07
constraint programming, global constraint, catalogue, graph, automaton, first order formula, meta-data, ontology, symmetry
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-16082OAI: oai:DiVA.org:ri-16082DiVA: diva2:1038106