Principles and Practice of Constraint Programming – CP 2004
From MaRDI portal
Publication:5900288
DOI10.1007/b100482zbMath1152.68539MaRDI QIDQ5900288
Mats Carlsson, Thierry Petit, Nicolas Beldiceanu
Publication date: 9 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100482
68Q45: Formal languages and automata
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Boolean-arithmetic equations: acquisition and uses, Invariants for time-series constraints, Reformulation of global constraints based on constraints checkers, Symmetry breaking constraints for value symmetries in constraint satisfaction, Global constraint catalogue: past, present and future, Deriving generic bounds for time-series constraints based on regular expressions characteristics, When bounds consistency implies domain consistency for regular counting constraints, Grammar constraints, On the reification of global constraints, On matrices, automata, and double counting in constraint programming, On global warming: Flow-based soft global constraints, Bounds of graph parameters for global constraints
Uses Software