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:89 - 7 self

Active Bibliography

2 Solving Polynomial Systems Using a Branch and Prune Approach – D. Kapur, Van Hentenryck Brown, P. Van Hentenryck, D. Mcallester, D. Mcallester - 1997
8 Newton: Constraint Programming over Nonlinear Constraints – Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou - 1998
20 A Constraint Satisfaction Approach to a Circuit Design Problem – Jean-François Puget, Pascal Van Hentenryck - 1998
1 Interval Methods Revisited – P. Van Hentenryck, D. Mcallester, D. Kapur - 1995
8 Efficient and safe global constraints for handling numerical constraint systems – Yahia Lebbah, Claude Michel, Michel Rueher, David Daney, Jean-pierre Merlet - 2005
138 Numerica: a Modeling Language for Global Optimization – Pascal Van Hentenryck - 1997
25 A Review Of Techniques In The Verified Solution Of Constrained Global Optimization Problems – R. Baker Kearfott - 1996
2 Interval Linear Constraint Solving in Constraint Logic Programming – Chong-kan Chiu, Chong-kan Chiu - 1994
14 Combining Local Consistency, Symbolic Rewriting and Interval Methods – Frédéric Benhamou, Laurent Granvilliers - 1996
104 CLP(Intervals) Revisited – F. Benhamou, D. McAllester, P. Van Hentenryck - 1994
2 Interval Methods for Nonlinear Equation Solving Applications – C. Ryan Gwaltney, Youdong Lin, Luke D. Simoni, Mark A. Stadtherr
11 Automatic Generation of Numerical Redundancies for Non-linear Constraint Solving – Frédéric Benhamou, Laurent Granvilliers - 1997
1 Efficient Interval Linear Equality Solving in Constraint Logic Programming – C. K. Chiu, J. H. M. Lee
Interval Propagation on Directed Acyclic Graphs Interval Propagation and Search on Directed Acyclic Graphs for Numerical Constraint Solving – Xuan-ha Vu, Hermann Schichl
40 Interval constraint logic programming – Frédéric Benhamou - 1995
30 Robust Process Simulation Using Interval Methods – Mark A. Stadtherr - 1996
6 On Verifying Feasibility in Equality Constrained Optimization Problems – R. Baker Kearfott - 1996
7 On Proving Existence of Feasible Points in Equality Constrained Optimization Problems – R. Baker Kearfott - 1995
4 Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers – R. Baker Kearfott - 1996