Constraint satisfaction problems involve finding values for problem variables that satisfy constraints on what combinations of values are permitted. They have applications in many areas of artifical intelligence, from planning to natural language understanding. Constraint satisfaction can be very difficult. A variety of tools are available for promoting successful satisfaction.
['Eugene C. Freuder']
Tools for constraint satisfaction