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

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
21 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
15 Efficient and safe global constraints for handling numerical constraint systems – Yahia Lebbah, Claude Michel, Michel Rueher, David Daney, Jean-pierre Merlet - 2005
170 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 – Frederic Benhamou, Laurent Granvilliers - 1996
121 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
2 Efficient Interval Linear Equality Solving in Constraint Logic Programming – C. K. Chiu, J. H. M. Lee
15 Automatic Generation of Numerical Redundancies for Non-linear Constraint Solving – Frédéric Benhamou, Laurent Granvilliers - 1997
Interval Propagation on Directed Acyclic Graphs Interval Propagation and Search on Directed Acyclic Graphs for Numerical Constraint Solving – Xuan-ha Vu, Hermann Schichl
47 Interval constraint logic programming – Frédéric Benhamou - 1995
31 Robust Process Simulation Using Interval Methods – Mark A. Stadtherr - 1996
7 On Verifying Feasibility in Equality Constrained Optimization Problems – R. Baker Kearfott - 1996
8 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