Local consistency for extended CSPs

We extend the framework of Constraint Satisfaction Problems to make it more suitable for/applicable to modern constraint programming languages where both constraint satisfaction and constraint solving have a role. Some rough principles for local consistency conditions in the extended framework are developed, appropriate notions of local consistency are formulated, and relationships between the various consistency conditions are established.

Authors

• Michael J. Maher

Keywords

• Constraint satisfaction problem
• Local consistency
• Arc consistency
• Pairwise consistency
• Constraint programming