A sufficient condition for backtrack-bounded search
Journal of the ACM (JACM)
On the complexity of join dependencies
ACM Transactions on Database Systems (TODS)
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A methodology for managing hard constraints in CLP systems
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
Artificial Intelligence - Special issue on knowledge representation
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Boolean pseudo-equations in constraint logic programming
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Naive solving of non-linear constraints
Constraint logic programming
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Local and global relational consistency
Theoretical Computer Science - Special issue: principles and practice of constraint programming
A gentle introduction to NUMERICA
Artificial Intelligence - Special issue: artificial intelligence 40 years later
On the Desirability of Acyclic Database Schemes
Journal of the ACM (JACM)
Synthesizing constraint expressions
Communications of the ACM
Solving the Multiplication Constraint in Several Approximation Spaces
Proceedings of the 17th International Conference on Logic Programming
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Improving domain filtering using restricted path consistency
CAIA '95 Proceedings of the 11th Conference on Artificial Intelligence for Applications
Constraint Processing
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
CLAIRE: combining sets, search and rules to better express algorithms
Theory and Practice of Logic Programming
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
ACM Transactions on Mathematical Software (TOMS)
Introduction to Operations Research and Revised CD-ROM 8
Introduction to Operations Research and Revised CD-ROM 8
Domain filtering consistencies
Journal of Artificial Intelligence Research
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Neighborhood inverse consistency preprocessing
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Finite domain bounds consistency revisited
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Introducing global constraints in CHIP
Mathematical and Computer Modelling: An International Journal
| Hi-index | 5.23 |
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.