Computational geometry: an introduction
Computational geometry: an introduction
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
Experimental evaluation of preprocessing algorithms for constraint satisfaction problems
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
Maintaining knowledge about temporal intervals
Communications of the ACM
R-trees: a dynamic index structure for spatial searching
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Algorithms for Querying by Spatial Structure
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Dynamic Variable Ordering in CSPs
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
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
Hi-index | 0.00 |
Most studies concerning constraint satisfaction problems (CSPs) involve variables that take values from small domains. This paper deals with an alternative form of temporal CSPs; the number of variables is relatively small and the domains are large collections of intervals. Such situations may arise in temporal databases where several types of queries can be modeled and processed as CSPs. For these problems, systematic CSP algorithms can take advantage of temporal indexing to accelerate search. Directed search versions of chronological backtracking and forward checking are presented and tested. Our results show that indexing can drastically improve search performance.