Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977. ,
DOI : 10.1016/0004-3702(77)90007-8
Relational consistency algorithms and their application in finding subgraph and graph isomorphisms, Information Sciences, vol.19, issue.3, pp.229-250, 1979. ,
DOI : 10.1016/0020-0255(79)90023-9
Arc and path consistency revisited, Artificial Intelligence, vol.28, issue.2, pp.225-233, 1986. ,
DOI : 10.1016/0004-3702(86)90083-4
URL : https://hal.archives-ouvertes.fr/inria-00548487
A generic arc-consistency algorithm and its specializations, Artificial Intelligence, vol.57, issue.2-3, pp.291-321, 1992. ,
DOI : 10.1016/0004-3702(92)90020-X
An open-ended finite domain constraint solver, PLILP '97, pp.191-206, 1997. ,
DOI : 10.1007/BFb0033845
Choco: Implementing a CP kernel, TRICS, pp.71-85, 2000. ,
Visser Domain-specific languages: an annotated bibliography, In SIGPLAN Not, pp.26-36, 2000. ,
A fast and simple algorithm for bounds consistency of the alldifferent constraint, IJCAI, pp.245-250, 2003. ,
Revision ordering heuristics for the constraint satisfaction problem, CP'04, pp.9-43, 2004. ,
Constraint Propagation, LIRMM, 2006. ,
DOI : 10.1016/S1574-6526(06)80007-6
URL : https://hal.archives-ouvertes.fr/lirmm-00117128
Minion: A fast scalable constraint solver, Proceedings of ECAI 2006, pp.98-102, 2006. ,
Watched Literals for Constraint Propagation in Minion, Procedings CP 2006, pp.182-197, 2006. ,
DOI : 10.1007/11889205_15
Advisors for Incremental Propagation, CP 2007, pp.409-422, 2007. ,
DOI : 10.1007/978-3-540-74970-7_30
Generalised arc consistency for the AllDifferent constraint: An empirical survey, Artificial Intelligence, vol.172, issue.18, pp.1973-2000, 2008. ,
DOI : 10.1016/j.artint.2008.10.006
Efficient constraint propagation engines, ACM Transactions on Programming Languages and Systems, vol.31, issue.1, 2008. ,
DOI : 10.1145/1452044.1452046
URL : http://arxiv.org/abs/cs/0611009
Propagator Groups, pp.524-538, 2009. ,
DOI : 10.1007/3-540-61708-6_78
Implementing efficient propagation control, 2010. ,
CSPlib: A Benchmark Library for Constraints, pp.9-1999, 1999. ,
DOI : 10.1007/978-3-540-48085-3_36
Tack MiniZinc: Towards a standard CP modelling language, CP'07, pp.529-543, 2007. ,
Generic Constraint Development Environment, 2012. ,
or-Tools: Operations Research Tools developed at Google. http://code.google.com, p.2012 ,