Abstract
The Constraint Satisfaction Problem (CSP) is ubiquitous in artificial intelligence. It has a wide applicability, ranging from machine vision and temporal reasoning to planning and logic programming. This paper attempts a systematic and coherent review of the foundations of the techniques for constraint satisfaction. It discusses in detail the fundamental principles and approaches. This includes an initial definition of the constraint satisfaction problem, a graphical means of problem representation, conventional tree search solution techniques, and pre-processing algorithms which are designed to make subsequent tree search significantly easier.
Original language | English |
---|---|
Pages (from-to) | 243-267 |
Number of pages | 26 |
Journal | Artificial Intelligence Review |
Volume | 15 |
Issue number | 4 |
DOIs | |
Publication status | Published - 1 Jun 2001 |
Keywords
- Consistency enforcing
- Constraint graph
- Constraint Satisfaction Problems
- Pre-processing
- Tree search