Bibliography
Main Reference Text Books
- Dina Rechter, Constraint Processing, Morgan Kauffman, 2003.
- Krzysztof Apt, Principles of Constraint Programming, Cambridge University Press, 2009 (online)
- Jaulin, L., Kieffer, M., Didrit, O., Walter, E., Applied Interval Analysis, Springer, 2001.
- Eldon Hansen, G. William Walster, Global Optimization Using Interval Analysis, Marcel Dekker, 2003
- Jorge Cruz, Constraint Reasoning for Differential Models, 126 Frontiers in Artificial Intelligence and Applications, IOS Press, 2005.
Complementary Reference:
- Comet Tutorial, Dynamic Decision Technologies Inc., August 28, 2009.
- Handbook on Constraint Programming, (F. Rossi, P. van Beek and T. Walsh, eds.), Elsevier, 2006
- Handbook of Satisfiability, (A. Biere, M. Heule, H. Van Maaren and T. Walsh, eds.), IOS Press, 2009
- Ramon E. Moore, Interval Analysis, Prentice-Hall, 1966