Global constraints as graph properties on a structured network of elementary constraints of the same type, Proceedings CP, pp.52-66, 2000. ,
A Java library for constraint satisfaction problems, constraint programming and explanation-based constraint solving, 2005. ,
Constraint generation via automated theory formation, Proceedings CP, pp.575-579, 2001. ,
The rules of constraint modelling, Proceedings IJCAI, 2005. ,
Constraint programming next challenge: Simplicity of use, Proceedings CP, pp.5-8, 2004. ,
Generalized arc consistency for global cardinality constraint, Proceedings AAAI, pp.209-215, 1996. ,
Modelling the golomb ruler problem, Proceedings IJCAI'99 workshop on non-binary constraints, 1999. ,