Local consistency for extended CSPs |
| |
| Authors: | Michael J. Maher |
| |
| Affiliation: | NICTA, Australia; University of NSW, Australia |
| |
| Abstract: | 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. |
| |
| Keywords: | Constraint satisfaction problem Local consistency Arc consistency Pairwise consistency Constraint programming |
| 本文献已被 ScienceDirect 等数据库收录！ |
