The Constraint Programming Solver

References

  • Boussemart, F., Hemery, F., Lecoutre, C., and Sais, L. (2004). “Boosting Systematic Search by Weighting Constraints.” In ECAI 2004: Proceedings of the Sixteenth European Conference on Artificial Intelligence, 146–150. Amsterdam: IOS Press.

  • Brualdi, R. A. (2010). Introductory Combinatorics. 5th ed. Englewood Cliffs, NJ: Prentice-Hall.

  • Dincbas, M., Simonis, H., and Van Hentenryck, P. (1988). “Solving the Car-Sequencing Problem in Constraint Logic Programming.” In Proceedings of the European Conference on Artificial Intelligence, ECAI-88, edited by Y. Kodratoff, 290–295. London: Pitman.

  • Floyd, R. W. (1967). “Nondeterministic Algorithms.” Journal of the ACM 14:636–644.

  • Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I., and Walsh, T. (2002). “Global Constraints for Lexicographic Orderings.” In Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP 2002), edited by P. Van Hentenryck, 93–108. London: Springer-Verlag.

  • Garey, M. R., and Johnson, D. S. (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness. New York: W. H. Freeman.

  • Gravel, M., Gagne, C., and Price, W. L. (2005). “Review and Comparison of Three Methods for the Solution of the Car Sequencing Problem.” Journal of the Operational Research Society 56:1287–1295.

  • Haralick, R. M., and Elliott, G. L. (1980). “Increasing Tree Search Efficiency for Constraint Satisfaction Problems.” Artificial Intelligence 14:263–313.

  • Kumar, V. (1992). “Algorithms for Constraint-Satisfaction Problems: A Survey.” AI Magazine 13:32–44.

  • Mackworth, A. K. (1977). “Consistency in Networks of Relations.” Artificial Intelligence 8:99–118.

  • Meseguer, P., and Torras, C. (2001). “Exploiting Symmetries within Constraint Satisfaction Search.” Artificial Intelligence 129:133–163.

  • Prestwich, S. D. (2001). “Balanced Incomplete Block Design as Satisfiability.” In Twelfth Irish Conference on Artificial Intelligence and Cognitive Science, 189–198. Maynooth: National University of Ireland.

  • Riley, P., and Taalman, L. (2008). “Brainfreeze Puzzles.” http://www.geekhaus.com/brainfreeze/piday2008.html.

  • Smith, B. M., Brailsford, S. C., Hubbard, P. M., and Williams, H. P. (1996). “The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared.” Constraints 1:119–138.

  • Sokol, J. (2002). Modeling Automobile Paint Blocking: A Time Window Traveling Salesman Problem. Ph.D. diss., Massachusetts Institute of Technology.

  • Solnon, C., Cung, V. D., Nguyen, A., and Artigues, C. (2008). “The Car Sequencing Problem: Overview of State-of-the-Art Methods and Industrial Case-Study of the ROADEF 2005 Challenge Problem.” European Journal of Operational Research 191:912–927.

  • Trick, M. A. (2004). “Constraint Programming: A Tutorial.” http://mat.gsia.cmu.edu/trick/cp.ppt.

  • Tsang, E. (1993). Foundations of Constraint Satisfaction. London: Academic Press.

  • Van Hentenryck, P. (1989). Constraint Satisfaction in Logic Programming. Cambridge, MA: MIT Press.

  • Van Hentenryck, P. (2002). “Constraint and Integer Programming in OPL.” INFORMS Journal on Computing 14:345–372.

  • Waltz, D. L. (1975). “Understanding Line Drawings of Scenes with Shadows.” In The Psychology of Computer Vision, edited by P. H. Winston, 19–91. New York: McGraw-Hill.