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

876 Interval analysis – R Moore - 1966
168 Applying interval arithmetic to real, integer and Boolean constraints – Frédéric Benhamou, William J. Older - 1997
424 Networks of constraints: Fundamental properties and applications to picture processing – U Montanari - 1974
1000 Consistency in networks of relations – A K Mackworth - 1977
121 CLP(Intervals) Revisited – F. Benhamou, D. McAllester, P. Van Hentenryck - 1994
508 Interval methods for systems of equations – A Neumaier - 1990
201 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
454 Introduction to Interval Computations – G Alefeld, J Herzberger - 1983
103 Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach – E Hyvönen - 1992
170 Numerica: a Modeling Language for Global Optimization – Pascal Van Hentenryck - 1997
246 Synthesizing constraint expressions – E C Freuder - 1978
57 Bounding solutions of systems of equations using interval analysis – E Hansen, S Sengupta - 1981
88 Logical arithmetic – J G Cleary - 1987
464 Global optimization Using Interval Analysis – E Hansen - 1992
56 Consistency Techniques for Continuous Constraints – D. Sam-haroud, B. Faltings - 1996
215 Constraint propagation with interval labels – E Davis - 1987
51 Extending Prolog with Constraint Arithmetic on Real Intervals – William Older, Andre Vellino - 1990