1. E. Aarts and J. Lenstra (Eds). Local Search in Combinatorial Optimization. Wiley, 1997.
2. A. Borning, B. Freeman-Benson and M. Wilson. Constraint Hierarchies. Lisp and Symbolic Computation, vol. 5 no. 3, 1992, pp 223–270.
3. P. Codognet and D. Diaz. Compiling Constraint in clp(FD). Journal of Logic Programming, Vol. 27, No. 3, June 1996.
4. A. Davenport, E. Tsang, Z. Kangmin and C. Wang. GENET: a connectionist architecture for solving constraint satisfaction problems by iterative improvement. In proc. AAAI 94, AAAI Press, 1994.
5. D. Diaz and P. Codognet. The implementation of GNU Prolog. In proc. SAC’OO, 15th ACM Symposium on Applied Computing. Como, Italy, ACM Press 2000.