Constraint-Based Reasoning

Using Constraints for Planning, Scheduling & Design

"The Crossword puzzle (CP) is a simple problem to illustrate the formalization process of a problem into a CSP. The problem is to place words of a dictionary in a given structure satisfying certain constraints. The variables are the rows and columns in the crossword, and their values are the words in a dictionary."
- Marc Torrens. An Application using the JCL: The Air Travel Planning System. Diploma Thesis, 1997, Chapter 1, Section 1.2.1.


Vertical Tabs

General Readings
Educational Resources
Hardware and Software
Classic Articles & Books