1. Choco Constraint Solving Toolkit., http://www.emn.fr/z-info/choco-solver/
2. ILOG OPL Studio, http://www.ilog.com/products/oplstudio/
3. Apt, K., Wallace, M.: Constraint logic programming using ECLiPSe. Cambridge University Press, Cambridge (2007)
4. Lecture Notes in Computer Science,2000
5. Lecture Notes in Computer Science;P. Flener,2004