Arc and path consistence revisited
Artificial Intelligence
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Artificial Intelligence - Special issue on knowledge representation
Arc-consistency and arc-consistency again
Artificial Intelligence
The OPL optimization programming language
The OPL optimization programming language
Maintaining knowledge about temporal intervals
Communications of the ACM
Essentials of Constraint Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Constraint Processing
Reasoning with Numeric and Symbolic Time Information
Artificial Intelligence Review
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Principles of Constraint Programming
Principles of Constraint Programming
Using inference to reduce arc consistency computation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Constraint Satisfaction Problems (CSPs) are fundamental in many real world applications such as interpreting a visual image, laying out a silicon chip, frequency assignment, scheduling, planning and molecular biology. A main challenge when designing a CSP-based system is the ability to deal with constraints in a dynamic and evolutive environment. We talk then about on line CSP-based systems capable of reacting, in an efficient way, to any new external information during the constraint resolution process. During the conceptual phase of design, for example, the designers should be able to add/remove constraints at any time after specifying an initial statement describing the desired properties of a required artifact. We propose in this paper a new algorithm capable of dealing with dynamic constraints at the arc consistency level of the resolution process. More precisely, we present a new dynamic arc consistency algorithm that has a better compromise, in practice, between time and space than those algorithms proposed in the literature, in addition to the simplicity of its implementation. Experimental tests on randomly generated CSPs as well as on CSPs involving temporal constraints (that we call TCSPs), have been conducted. The results of the experimentation demonstrate the efficiency, in time and space costs, of our algorithm to deal with large size CSPs in a dynamic environment.