Yahia Lebbah, Olivier Lhomme  Home/Search
Context Related
| sop.inria.fr/coprin/ylebba...aij925.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sop.inria.fr/coprin/ylebbah/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of ltering techniques. In this paper we show how those ltering techniques can be accelerated by discovering and exploiting some regularities during the ltering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from... (Update)
Cited by: More
A Rigorous Global Filtering Algorithm for Quadratic.. - LEBBAH, MICHEL, RUEHER (2005) (Correct)
Efficient and Safe Global Constraints for Handling .. - Lebbah, Michel.. (Correct)
Similar documents (at the sentence level):
34.6%: Accelerating Filtering Techniques for Numeric CSPs - Lebbah, Lhomme (2002) (Correct)
Active bibliography (related documents): More All
0.7: Acceleration Methods for Numeric CSPs - Lebbah, Lhomme (1998) (Correct)
0.7: Convergence Acceleration During the 20th Century - Brezinski (2000) (Correct)
0.5: Dynamic domain splitting for numeric CSPs - Jussien, Lhomme (1998) (Correct)
Similar documents based on text: More All
0.2: Dynamic Backtracking with Constraint Propagation: Application .. - Jussien, Lhomme (1997) (Correct)
0.2: Global Filtering Algorithms Based on Linear Relaxations - Lebbah, Michel, RUEHER (2003) (Correct)
0.1: Text Prediction for Translators - Foster (2002) (Correct)
Related documents from co-citation: More All
3: Reference Manual (context) - SOLVER - 1995
2: Global Optimization Using Interval Analysis (context) - Hansen - 1992
2: Jointly constrained biconvex programming (context) - Al-Khayyal, Falk - 1983
BibTeX entry: (Update)
Y. Lebbah and O. Lhomme. Accelerating filtering techniques for numeric CSPs. Artificial Intelligence, 139(1):109--132, 2002. http://citeseer.ist.psu.edu/article/lebbah02accelerating.html More
@misc{ lebbah02accelerating,
author = "Y. Lebbah and O. Lhomme",
title = "Accelerating filtering techniques for numeric CSPs",
text = "Y. Lebbah and O. Lhomme. Accelerating filtering techniques for numeric
CSPs. Artificial Intelligence, 139(1):109--132, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/lebbah02accelerating.html" }
Citations (may not include all citations):702 Consistency in networks of relations (context) - Mackworth - 1977
384 Interval Analysis (context) - Moore - 1966
262 Global optimization using interval analysis (context) - Hansen - 1992
225 Introduction to Interval Computations (context) - Alefeld, Hezberger - 1983
166 Synthesizing constraint expressions (context) - Freuder - 1978
160 Rigorous Global Search: Continuous Problems (context) - Kearfott - 1996
142 Constraint propagation with interval labels (context) - Davis - 1987
114 Applying interval arithmetic to real (context) - Benhamou, Older - 1997
97 Consistency techniques for numeric csps (context) - Lhomme - 1993
92 Reference Manual (context) - Ed, Solver - 1997
86 Van-Hentenryck (context) - Benhamou, McAllester - 1994
78 Computational complexity and feasibility of data processing .. - Kreinovich, Lakeyev et al. - 1998
63 Computer Methods for the Range of Functions (context) - Ratschek, Rokne - 1984
44 Numerica: A Modeling Language for Global Optimization - Van-Hentenryck, Michel et al. - 1997
40 Extending prolog with constraint arithmetic on real interval.. - Older, Velino - 1990
36 Solving polynomial systems using branch and prune approach - Van-Hentenryck, Allester et al. - 1997
34 Arc consistency for continuous variables - Faltings - 1994
21 of Encyclopedia of Mathematics and its Applications (context) - Neumaier, for et al. - 1990
18 On bernoulli's numerical solution of algebraic equations (context) - Aitken - 1926
16 Local consistency for ternary numeric constraints - Faltings, Gelle - 1997
15 Experiments using interval analysis for solving a circuit de.. (context) - Ratschek, Rokne - 1993
14 Constraint reasoning based on interval arithmetic: the toler.. (context) - Hyv - 1992
13 Derivation of extrapolation algorithms based on error estima.. - Brezinski, Matos - 1996
12 Dynamic optimization of interval narrowing algorithms - Lhomme, Gotlieb et al. - 1998
12 A sucient condition for backtrack{bounded search (context) - Freuder - 1985
12 Automatic generation of numerical redundancies for non-linea.. - Benhamou, Granvilliers - 1997
12 Hierarchical arc consistency applied to numeric constraint p.. (context) - Sidebottom, Havens - 1991
12 A general extrapolation procedure revisited - Brezinski, Zaglia - 1994
11 A constraints satisfaction approach to a circuit design prob.. - Puget, Van-Hentenryck - 1998
10 A note on partial consistencies over continuous domains solv.. - Collavizza, Delobel et al. - 1998
9 a novel approach to solving systems of algebraic equations (context) - Babichev, Kadyrova et al. - 1993
7 Boosting the interval narrowing algorithm - Lhomme, Gotlieb et al. - 1996
6 Interlog: constraint logic programming on numeric intervals (context) - Botella, Taillibert - 1993
6 Consistances locales et transformations symboliques de contr.. (context) - Granvilliers - 1998
5 A simple derivation of the hansen-bliek-rohn-ning-kearfott e.. - Neumaier - 1999
5 Acceleration methods for numeric csps - Lebbah, Lhomme - 1998
5 Avenue de Luminy 13288 Marseille cedex (context) - Colmerauer, eci et al. - 1994
5 Studies in Computational Mathematics (context) - Brezinski, Zaglia et al. - 1990
3 Consistency techniques for continuous constraints - Haroud, Faltings - 1996
2 esolution de contraintes par consistance forte (context) - Lebbah, la - 1994
2 Dassault Electronique (context) - Electronique, Guide et al. - 1991
2 egatifs en acceleration de la convergence (context) - Delahaye, Germain-Bonne et al. - 1980
2 Improved bounds on the complexity of kb-consistency - Bordeaux, Monfroy et al. - 2001
1 eration de la convergence: etude numeriques (context) - Brezinski, Algorithmes et al. - 1978
1 a la pratique du calcul numerique (context) - Brezinski, Introduction - 1988
1 esolution de contraintes sur les reels par propagation d'in.. (context) - Lhomme, la - 1994
Documents on the same site (http://www-sop.inria.fr/coprin/ylebbah/): More
Prediction by Extrapolation for Interval Tightening Methods - Lebbah, Lhomme (Correct)
Consistency Checking by Type - Inference And Constraint (Correct)
Acceleration Methods for Numeric CSPs - Lebbah, Lhomme (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC