Solving Polynomial Systems Using a Branch and Prune Approach (1997)

by P. Van Hentenryck , D. Mcallester , D. Kapur
Venue:SIAM Journal on Numerical Analysis
Citations:101 - 7 self

Documents Related by Co-Citation

867 Interval Analysis – R E Moore - 1966
168 Applying interval arithmetic to real, integer and Boolean constraints – Frédéric Benhamou, William J. Older - 1997
422 Networks of constraints: Fundamental properties and applications to picture processing – U Montanari - 1974
995 Consistency of networks of relations – A K Mackworth - 1977
121 CLP(Intervals) Revisited – F. Benhamou, D. McAllester, P. Van Hentenryck - 1994
504 Interval Methods for System of equations – A Neumaier - 1990
200 Consistency techniques for numeric csps – Olivier Lhomme - 1993
67 Constraint Arithmetic on Real Intervals – William Older, Andre Vellino - 1993
29 Starting regions by fixed points and tightening – H Hong, V Stahl - 1994
450 An introduction to interval computations – G Alefeld, J Herzberger - 1983
102 Constraint reasoning based on interval arithmetics: the tolerance propagation approach – E Hyvonen - 1992
170 Numerica: a Modeling Language for Global Optimization – Pascal Van Hentenryck - 1997
245 Synthesizing Constraint Expressions – E Freuder - 1978
56 Bounding solutions of systems of equations using interval analysis – E Hansen, S Sengupta - 1981
87 Logical arithmetic – J G Cleary - 1987
461 Global Optimization Using Interval Analysis – E Hansen - 1992
56 Consistency Techniques for Continuous Constraints – D. Sam-haroud, B. Faltings - 1996
213 Constraint propagation with interval labels – E Davis - 1987
51 Extending Prolog with Constraint Arithmetic on Real Intervals – William Older, Andre Vellino - 1990