by Jean-francois Puget, Pascal Van Hentenryck
http://www.cs.brown.edu/people/pvh/transistor.ps
Add To MetaCart
Abstract:
A classical circuit-design problem from Ebers and Moll [6] features a system of nine nonlinear equations in nine variables that is very challenging both for local and global methods. This system was solved globally using an interval method by Ratschek and Rokne [23] in the box
Citations
|
877
|
Consistency in networks of relations
– Mackworth
- 1977
|
|
544
|
Interval Analysis
– Moore
- 1966
|
|
354
|
Networks of constraints: Fundamental properties and applications to picture processing
– Montanari
- 1974
|
|
335
|
Methods and Applications of Interval Analysis
– Moore
- 1979
|
|
319
|
Interval Methods for Systems of Equations
– Neumaier
- 1990
|
|
317
|
Introduction to Interval Computations
– ALEFELD, HERZBERGER
- 1983
|
|
156
|
Applying Interval Arithmetic to Real, Integer and Boolean Constraints
– Benhamou, Older
- 1997
|
|
126
|
New Computer Methods for Global Optimization
– Ratschek, Rokne
- 1988
|
|
106
|
Hentenryck. CLP(Intervals) revisited
– Benhamou, McAllister, et al.
- 1994
|
|
86
|
Solving polynomial systems using a branch and prune approach
– Hentenryck, McAllester, et al.
- 1997
|
|
73
|
Homotopies exploiting Newton polytopes for solving sparse polynomial systems
– Verschelde, Verlinden, et al.
- 1991
|
|
72
|
Constraint Arithmetic on Real Intervals
– Older, Vellino
- 1993
|
|
47
|
Bounding solutions of systems of equations using interval Analysis
– Hansen, Sengupta
- 1981
|
|
41
|
Preconditioners for the Interval Gauss-Seidel Method
– Kearfott
- 1990
|
|
33
|
Safe Starting Regions by Fixed Points and Tightening
– Hong, Stahl
- 1994
|
|
33
|
Newton-Algorithmen zur Bestimmung yon Nullstellen mit Fehlerschranken
– Krawczyk
- 1969
|
|
20
|
Interval arithmetic in matrix computations
– Hansen, Smith
- 1967
|
|
20
|
Safe Starting Regions for Iterative Methods
– Moore, Jones
- 1977
|
|
14
|
Experiments Using Interval Analysis for Solving a Circuit Design Problem
– Ratschek, Rokne
- 1993
|
|
9
|
Mean value forms in interval analysis
– Caprani, Madsen
- 1980
|
|
7
|
Large-scale behaviour of junction transistors
– Ebers, Moll
- 1954
|
|
2
|
Consistency Techniques for Numerical Constraint Satisfaction Problems
– Lhomme
- 1993
|
