1. Schulte, C., Lagerkvist, M., Tack, G.: Gecode,
http://www.gecode.org/
2. Apt, K., Wallace, M.: Constraint Logic Programming using Eclipse. Cambridge University Press, Cambridge (2006)
3. ILOG: ILOG Solver,
http://www.ilog.com/products/solver/
4. Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast, scalable constraint solver. In: Proceedings of ECAI 2006, Riva del Garda, Italy (August 2006)
5. Laburthe, F.: CHOCO: implementing a CP kernel. In: Proceedings of TRICS 2000, Singapore, pp. 71–85 (2000)