1. Achterberg T, Berthold T, Koch T, Wolter K (2008) A new approach to integrate CP and MIP. In: Perron L, Trick MA (eds) Proceedings of the international workshop on integration of artificial intelligence and operations research techniques in constraint programming for combinatorial optimization problems (CPAIOR 2008). Lecture notes in computer science, vol 5015. Springer, Berlin, pp 6–20
2. Ajili F, Wallace M (2004) Hybrid problem solving in ECLiPSe. In: Milano M (ed) Constraint and integer programming: toward a unified methodology. Kluwer, Dordrecht, pp 169–206
3. Althaus E, Bockmayr A, Elf M, Kasper T, Jünger M, Mehlhorn K (2002) SCIL–Symbolic constraints in integer linear programming. In: 10th European symposium on Algorithms (ESA 2002). Lecture notes in computer science, vol 2461. Springer, New York, pp 75–87
4. Apt K, Wallace M (2006) Constraint logic programming using ECLiPSe. Cambridge University Press, Cambridge
5. Aron I, Hooker JN, Yunes TH (2004) SIMPL: a system for integrating optimization techniques. In: Régin JC, Rueher M (eds) Integration of AI and OR techniques in constraint programming for combinatorial optimization problems (CPAIOR 2004). Lecture notes in computer science, vol 3011. Springer, Berlin, pp 21–36