A language and a program for stating and solving combinatorial problems, Artificial Intelligence, vol.10, issue.1, pp.29-127, 1978. ,

DOI : 10.1016/0004-3702(78)90029-2

A filtering algorithm for constraints of difference in CSPs, Proceedings of the 12th National Conference on AI, Association for Advancement of Artificial Intelligence, pp.362-367, 1994. ,

A bounds-based reduction scheme for constraints of difference, Proceedings of Second International Workshop on Constraint-based Reasoning (Constraint-96, 1996. ,

A fast algorithm for the bound consistency of alldiff constraints, 15th National Conference on Artificial Intelligence, pp.359-366, 1998. ,

Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint, Sixth International Conference on Principles and Practice of Constraint Programming, 2000. ,

DOI : 10.1007/3-540-45349-0_23

A fast and simple algorithm for bounds consistency of the alldifferent constraint, Proceedings of the 18th International Conference on AI, International Joint Conference on Artificial Intelligence, 2003. ,

The difference all-difference makes, Proceedings of 16th IJCAI, International Joint Conference on Artificial Intelligence, 1999. ,

The Role of Integer Programming Techniques in Constraint Programming's Global Constraints, INFORMS Journal on Computing, vol.14, issue.4, pp.387-402, 2002. ,

DOI : 10.1287/ijoc.14.4.387.2830

Representations of the all_different Predicate of Constraint Satisfaction in Integer Programming, INFORMS Journal on Computing, vol.13, issue.2, pp.96-103, 2001. ,

DOI : 10.1287/ijoc.13.2.96.10515

Constraint Patterns, 9th International Conference on Principles and Practices of Constraint Programming, 2003. ,

DOI : 10.1007/978-3-540-45193-8_4

David Rivreau Helmut Simonis Solving Resource-constrained Project Scheduling Problems with CHIP, 5th International Workshop on Project Management and Scheduling (PMS'96), pp.35-38, 1996. ,

Building Industrial Applications with Constraint Programming, Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99, 2001. ,

DOI : 10.1007/3-540-45406-3_6

Some practicable filtering techniques for the constraint satisfaction problem, Proceedings of the 15th IJCAI, International Joint Conference on Artificial Intelligence, pp.412-417, 1997. ,

Scheduling Unit???Time Tasks with Arbitrary Release Times and Deadlines, SIAM Journal on Computing, vol.10, issue.2, pp.256-269, 1981. ,

DOI : 10.1137/0210018

Breaking All Value Symmetries in Surjection Problems, Proceedings of 11th International Conference on Principles and Practice of Constraint Programming (CP2005), 2005. ,

DOI : 10.1007/11564751_37

Symmetry in injective problems, Constraint Programming Letters, vol.3, pp.1-20, 2007. ,

Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint, CP '02: Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming, pp.306-319, 2000. ,

DOI : 10.1007/3-540-45349-0_23

Decompositions of all different, global cardinality and related constraints, Proceedings of 21st IJCAI, International Joint Conference on Artificial Intelligence, pp.419-424, 2009. ,

URL : https://hal.archives-ouvertes.fr/lirmm-00382607

Propagating conjunctions of alldifferent constraints, Proc. of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010. ,

URL : https://hal.archives-ouvertes.fr/hal-00873087

Combining symmetry breaking with other constraints: lexicographic ordering with sums, Proceedings of the 8th International Symposium on the Artificial Intelligence and Mathematics, 2004. ,

Combining Symmetry Breaking and Global Constraints, Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, pp.84-98, 2008. ,

DOI : 10.1007/11889205_64

A linear-time algorithm for a special case of disjoint set union, Proceedings of the fifteenth annual ACM symposium on Theory of computing , STOC '83, pp.246-251, 1983. ,

DOI : 10.1145/800061.808753