Claude Michel, Michel Rueher, Yahia Lebbah  Home/Search
Context Related
| sop.inria.fr/coprin/ylebbah/144.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: This paper introduces a new framework for tackling constraints over the oating-point numbers. An important application area where such solvers are required is program analysis (e.g., structural test case generation, correctness proof of numeric operations). Albeit the oating-point numbers are a nite subset of the real numbers, classical CSP techniques are ineective due to the huge size of the domains. Relations that hold over the real numbers may not hold over the oating-point... (Update)
Cited by: More
Consistency Techniques for Interprocedural Test Data Generation - Sy, Deville (2003) (Correct)
Similar documents (at the sentence level):
76.8%: Solving Constraints over Floating-Point Numbers - Michel, Rueher, Lebbah (2001) (Correct)
Active bibliography (related documents): More All
0.7: A Global Filtering Algorithm For Handling Systems Of.. - LEBBAH, RUEHER, MICHEL (2002) (Correct)
0.3: Accelerating Filtering Techniques for Numeric CSPs - Lebbah, Lhomme (2002) (Correct)
0.3: Exact Projection Functions for Floating Point Number Constraints - Michel (Correct)
Similar documents based on text: More All
0.5: Combining Local Consistencies with a New Global Filtering .. - LEBBAH, MICHEL, RUEHER (Correct)
0.5: Concurrent Cooperating Solvers over Reals - Rueher, Solnon (1997) (Correct)
0.5: Global Filtering Algorithms Based on Linear Relaxations - Lebbah, Michel, RUEHER (2003) (Correct)
BibTeX entry: (Update)
C. Michel, M. Rueher, and Y. Lebbah. Solving constraint over floating-point numbers. In Seventh International Conference on Principles and Practice of Constraint. Springer Verlag, LNCS, 2001. http://citeseer.ist.psu.edu/article/michel01solving.html More
@article{ michel01solving,
author = "Claude Michel and Michel Rueher and Yahia Lebbah",
title = "Solving Constraints over Floating-Point Numbers",
journal = "Lecture Notes in Computer Science",
volume = "2239",
pages = "524--??",
year = "2001",
url = "citeseer.ist.psu.edu/article/michel01solving.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
160 Rigorous Global Search: Continuous Problems (context) - Kearfott - 1996
142 Constraint propagation with interval labels (context) - Davis - 1987
133 IEEE Standard for Binary Floating Point Arithmetic (context) - IEEE, York - 1985
119 What every computer scientist should know about oating-poin.. - Goldberg - 1991
97 Consistency techniques for numeric csps (context) - Lhomme - 1993
86 Van-Hentenryck (context) - Benhamou, McAllester - 1994
29 Automatic Test Data Generation using Constraint Logic Progra.. (context) - Gotlieb - 2000
10 A note on partial consistencies over continuous domains solv.. - Collavizza, Delobel et al. - 1998
7 A clp framework for computing structural test data - Gotlieb, Botella - 2000
6 A constraints satisfaction approach to a circuit design prob.. (context) - Puget, Van-Hentenryck - 1998
5 Avenue de Luminy 13288 Marseille cedex (context) - Colmerauer, cations et al. - 1994
4 Safe starting regions by xed points and tightening (context) - Hong, Stahl - 1994
2 Langages et environnements en programmation par contraintes .. (context) - Gualard - 2000
2 Numerica : a Modeling Languge for Global Optimization (context) - Van-Hentenryck, Michel et al. - 1997
Documents on the same site (http://www-sop.inria.fr/coprin/ylebbah/): More
Accelerating Filtering Techniques for Numeric CSPs - Lebbah, Lhomme (2002) (Correct)
Prediction by Extrapolation for Interval Tightening Methods - Lebbah, Lhomme (Correct)
Consistency Checking by Type - Inference And Constraint (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