The Constraint Satisfaction Problem

  • Ian Miguel
Part of the Distinguished Dissertations book series (DISTDISS)


This chapter presents a formal description of the classical constraint satisfaction problem, the methods used to represent and reason with such problems, and the solution techniques used to solve them. Appendix A contains more detailed pseudo-code descriptions of some of these fundamental approaches for completeness. The reader is directed to these descriptions as appropriate.


Tree Search Constraint Satisfaction Problem Constraint Graph Partial Assignment Domain Element 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 2004

Authors and Affiliations

  • Ian Miguel
    • 1
  1. 1.University of YorkUSA

Personalised recommendations