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
Arc-consistency for continuous variables
Artificial Intelligence
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis
Synthesizing constraint expressions
Communications of the ACM
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A new basis for spreadsheet computing: Interval Solver for Microsoft Excel
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
Accelerating filtering techniques for numeric CSPs
Artificial Intelligence
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
ICOS: a branch and bound based solver for rigorous global optimization
Optimization Methods & Software - GLOBAL OPTIMIZATION
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
This paper introduces a new way of accelerating the convergence of numeric csp filtering algorithms, through the use of extrapolation methods. Extrapolation methods are used in numerical analysis to accelerate the convergence of real number sequences. We will show how to use them for solving numeric cSPs, leading to drastic improvement in efficiency.