Constraint tightness and looseness versus local and global consistency
Journal of the ACM (JACM)
Backtracking algorithms for disjunctions of temporal constraints
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Hierarchical constraint satisfaction in spatial databases
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The complexity of maximal constraint languages
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
ACM Transactions on Database Systems (TODS)
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Resolution versus Search: Two Strategies for SAT
Journal of Automated Reasoning
On point-duration networks for temporal reasoning
Artificial Intelligence
Applying soft computing in defining spatial relations
Approximate Processing of Multiway Spatial Joins in Very Large Databases
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
Hyper-heuristics for the dynamic variable ordering in constraint satisfaction problems
Proceedings of the 10th annual conference on Genetic and evolutionary computation
A Study of SAT-Based Branching Heuristics for the CSP
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Using Hyper-heuristics for the Dynamic Variable Ordering in Binary Constraint Satisfaction Problems
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Domain filtering consistencies
Journal of Artificial Intelligence Research
Improving search using indexing: a study with temporal CSPs
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Effective redundant constraints for online scheduling
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Neighborhood inverse consistency preprocessing
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
An evaluation of structural parameters for probabilistic reasoning: results on benchmark circuits
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Combining arc-consistency and dual lagrangean relaxation for filtering CSPs
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Hi-index | 0.00 |