3113; SICS research report T2012-03, http://soda.swedish-ict.se/5195/; 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.
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
4 Further Topics 343 4.1 Differences from the 2000 report . . . . . . . . . . . . . . . . . . . 344 4.2 Differences from the 2005 report . . . . . . . . . . . . . . . . . . . 346 4.3 Graph invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . 347 4.3.1 Graph classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347 4.3.2 Format of an invariant . . . . . . . . . . . . . . . . . . . . . . . . 348 4.3.3 Using the database of invariants . . . . . . . . . . . . . . . . . . . 349 4.3.4 The database of graph invariants . . . . . . . . . . . . . . . . . . . 350 4.4 The electronic version of the catalogue . . . . . . . . . . . . . . . 399 4.4.1 Prolog facts describing a constraint . . . . . . . . . . . . . . . . . 399 4.4.2 XML schema associated with a global constraint . . . . . . . . . . 404
3113; SICS research report T2012-03, http://soda.swedish-ict.se/5195/; 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.