In this paper we consider the consistency problem for qualitative constraint networks representing temporal or spatial information. The most efficient method for solving this problem consists in a search algorithm using, on the one hand, the weak composition closure method as a local propagation method, and on the other hand, a decomposition of the constraints into subrelations of a tractable set. We extend this algorithm with the notion of eligibility and the notion of frozen constraints. The first concept allows to characterise constraints which will not be considered during the search. The second one allows to freeze constraints in order to avoid unnecessary updates. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Condotta, J. F., Ligozat, G., & Saade, M. (2007). Eligible and frozen constraints for solving temporal qualitative constraint networks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4741 LNCS, pp. 806–814). Springer Verlag. https://doi.org/10.1007/978-3-540-74970-7_58
Mendeley helps you to discover research relevant for your work.