Graph Invariants as Necessary Conditions for Global Constraints
Number of Authors: 4
2005 (English)Report (Refereed)
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.
Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 2005, 1. , 16 p.
SICS Technical Report, ISSN 1100-3154 ; 2005:07
global constraint, implied constraint, graph invariant
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-14275OAI: oai:DiVA.org:ri-14275DiVA: diva2:1035563