Constraint propagation with interval labels
Artificial Intelligence
Constraint reasoning based on interval arithmetic: the tolerance propagation approach
Artificial Intelligence - Special volume on constraint-based reasoning
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Newton—constraint programming over nonlinear constraints
Science of Computer Programming - Special issue on concurrent constraint programming
Heterogeneous Constraint Solving
ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Numerica: a modeling language for global optimization
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Declarative Modelling of Constraint Propagation Strategies
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Hi-index | 0.01 |
Interval constraint solvers use local consistencies---among which one worth mentioning is box consistency---for computing verified solutions of real constraint systems. Though among the most efficient ones, the algorithm for enforcing box consistency suffers from the use of time-consuming operators. This paper first introduces box varphi consistency, a weakening of box consistency; this new notion then allows us to devise an adaptive algorithm that computes box consistency by enforcing box varphi consistency, decreasing the varphi parameter as variables' domains get tightened, then achieving eventually box0 consistency, which is equivalent to box consistency. A new propagation algorithm is also given, that intensifies the use of the most contracting pruning functions based on box varphi consistency. The resulting algorithm is finally shown to outperform the original scheme for enforcing box consistency on a set of standard benchmarks.