1. Borning A (1977) ThingLab—an object-oriented system for building simulations using constraints. In: Reddy R (ed) IJCAI, William Kaufmann, pp 497–498
2. Boussemart F, Hemery F, Lecoutre C, Sais L (2004) Boosting systematic search by weighting constraints. In: de Mántaras RL, Saitta L (eds) ECAI. IOS Press, Amsterdam, pp 146–150
3. An introduction to prolog III;Colmerauer;Commun ACM,1990
4. Focacci F, Lodi A, Milano M (1999) Cost-based domain filtering. In: Jaffar (1999), pp 189–203
5. Synthesizing constraint expressions;Freuder;Commun ACM,1978