Graph Invariants as Necessary Conditions for Global Constraints

DOI10.1007/11564751_10zbMath1153.68446OpenAlexW1574737102MaRDI QIDQ3524167

Charlotte Truchet, Mats Carlsson, Nicolas Beldiceanu, Jean-Xavier Rampon

Publication date: 9 September 2008

Published in: Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11564751_10

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (6)

Invariants for time-series constraints ⋮ Global constraint catalogue: past, present and future ⋮ Models for global constraint applications ⋮ Integer sequence discovery from small graphs ⋮ Constraint programming-based column generation ⋮ Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction

Uses Software

• SICStus

This page was built for publication: Graph Invariants as Necessary Conditions for Global Constraints