See this document in CiteSeerX!

Global Filtering Algorithms Based on Linear Relaxations (2003)  (Make Corrections)  (1 citation)
Yahia Lebbah, Claude Michel, Michel RUEHER
Notes of the 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS 2003), Switzerland



  Home/Search   Context   Related

 
View or download:
sop.inria.fr/coprin/ylebba...cocos03.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sop.inria.fr/co...icationscoprin (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper introduces a filtering algorithm to prune the domains of the variables in numerical constraints. This algorithm is based on the RLT (Reformulation-Linearization Technique) schema. In the reformulation phase, tight convex and concave approximations of nonlinear terms are generated, that's to say for bilinear terms, product of variables, power and univariate terms. New variables are introduced to linearize the initial constraint system. A linear programming solver is called to prune... (Update)

Similar documents based on text:   More   All
1.3:   Combining Local Consistencies with a New Global Filtering .. - LEBBAH, MICHEL, RUEHER   (Correct)
0.7:   Solving Constraints over Floating-Point Numbers - Michel, Rueher, Lebbah (2001)   (Correct)
0.6:   A Rigorous Global Filtering Algorithm for Quadratic.. - LEBBAH, MICHEL, RUEHER (2005)   (Correct)

BibTeX entry:   (Update)

Lebbah, Y., Michel, C., Rueher, M.: Global Filtering Algorithms Based on Linear Relaxations . In: Notes of the 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS 2003), Switzerland (2003) http://citeseer.ist.psu.edu/article/lebbah03global.html   More

@inproceedings{ lebbah03global,
  author = "Y. Lebbah and C. Michel and M. Rueher",
  title = "Global Filtering Algorithms Based on Linear Relaxations",
  booktitle = "Notes of the 2nd International Workshop on Global Constrained Optimization
    and Constraint Satisfaction (COCOS 2003), Switzerland",
  year = "2003",
  url = "citeseer.ist.psu.edu/article/lebbah03global.html" }
Citations (may not include all citations):
702   Consistency in networks of relations (context) - Mackworth - 1977
262   Global Optimization Using Interval Analysis (context) - Hansen - 1992
97   Consistency techniques for numeric csps (context) - Lhomme - 1993
86   Van-Hentenryck (context) - Benhamou, McAllester - 1994
36   Solving polynomial systems using branch and prune approach - Van-Hentenryck, Allester et al. - 1997
19   Revising hull and box consistency - Frdric, Frdric et al. - 1999
16   Comparing partial consistencies - Collavizza, Delobel et al. - 1999
16   Jointly constrained biconvex programming (context) - Al-Khayyal, Falk - 1983
14   The stewart-gough platform of general geometry can have 40 r.. (context) - Dietmaier - 1998
11   Deterministic global optimization: theory (context) - Floudas - 2000
11   Branch and cut algorithm for nonconvex quadratically constra.. - Audet, Hansen et al. - 2000
11   Safe bounds in linear and mixed-integer programming - Neumaier, Shcherbina - 2002
10   Safe embedding of the simplex algorithm in a csp framework (context) - Michel, Lebbah et al. - 2003
7   Interval solution of nonlinear equations using linear progra.. (context) - Yamamura, Tokue - 1998
7   The convergence rate of the sandwich algorithm for approxima.. - Rote - 1992

[Article contains additional citations not shown here]

Documents on the same site (http://www-sop.inria.fr/coprin/neveu/publications-coprin.html):   More
Combining Local Consistencies with a New Global Filtering .. - LEBBAH, MICHEL, RUEHER   (Correct)
New Light on Arc-Consistency over Continuous Domains - Chabert, Trombettoni, Neveu   (Correct)
New Low Cost and Undedicated Genetic Operators. - Madeline (2002)   (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