论文信息 - CHOCO: implementing a CP kernel - 字舞流文

CHOCO: implementing a CP kernel

Var AbstractDomain

François Laburhe

[1] Nicolas Beldiceanu,et al. Overview of the CHIP Compiler System , 1993, WCLP.

[2] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..

[3] Nicolas Beldiceanu,et al. Extending CHIP in order to solve complex scheduling and placement problems , 1993, JFPL.

[4] Krzysztof R. Apt,et al. From Chaotic Iteration to Constraint Propagation , 1997, ICALP.

[5] Jean-Louis Laurière,et al. A Language and a Program for Stating and Solving Combinatorial Problems , 1978, Artif. Intell..

[6] Peter J. Stuckey,et al. Constraint Representation for Propagation , 1998, CP.

[7] Patrice Boizumault,et al. Maintaining Arc-Consistency within Dynamic Backtracking , 2000, CP.

[8] Jean-Charles Régin,et al. A Filtering Algorithm for Constraints of Difference in CSPs , 1994, AAAI.