Principles and Practice of Constraint Programming – CP 2003

DOI10.1007/b13743zbMath1273.68340OpenAlexW2497660909MaRDI QIDQ5897199

Chiu Wo Choi, Peter J. Stuckey, Jimmy Ho-man Lee

Publication date: 2 March 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (6)

Symmetry breaking constraints for value symmetries in constraint satisfaction ⋮ \textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Automatic generation of dominance breaking nogoods for a class of constraint optimization problems ⋮ Propagation = Lazy Clause Generation ⋮ Automatic generation of redundant models for permutation constraint satisfaction problems ⋮ Propagation via lazy clause generation

Uses Software

• CSPLib

This page was built for publication: Principles and Practice of Constraint Programming – CP 2003