Acquiring parameters of implied global constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3709 LNCS, Issue , 2005, Pages 747-751

  Bessiere, Christian ^a   Coletta, Rémi ^a   Petit, Thierry ^b  

^a LIRMM   (France)

^b CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; PARAMETER ESTIMATION; PROBLEM SOLVING;

GCC CONSTRAINTS; GLOBAL CONSTRAINTS; PARAMETERIZED IMPLIED CONSTRAINTS;

CONSTRAINT THEORY;

EID: 33646194404     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11564751_57     Document Type: Conference Paper

References (7)

1. N. Beldiceanu. Global constraints as graph properties on a structured network of elementary constraints of the same type. Proceedings CP, pages 52-66, 2000.
2. Choco. A Java library for constraint satisfaction problems, constraint programming and explanation-based constraint solving. URL: http://sourceforge. net/projects/choco, 2005.
3. S. Colton and I. Miguel. Constraint generation via automated theory formation. Proceedings CP, pages 575-579, 2001.
4. A. M. Frisch, C. Jefferson, B. Martinez Hernandez, and Ian Miguel. The rules of constraint modelling. Proceedings IJCAI, to appear, 2005.
5. J.F. Pugel. Constraint programming next challenge: Simplicity of use. In Proceedings CP, pages 5-8, Toronto, Canada, 2004.
6. J-C. Régin. Generalized arc consistency for global cardinality constraint. Proceedings AAAI, pages 209-215, 1996.
7. B. Smith, K. Stergiou, and T. Walsh. Modelling the golomb ruler problem. In J.C. Régin and W. Nuijten, editors, Proceedings IJCAI'99 workshop on non-binary constraints, Stockholm, Sweden, 1999.