
BARON
 Referenced in 305 articles
[sw00066]
 derives its name from its combining constraint propagation, interval analysis, and duality in its reduce...

RealPaver
 Referenced in 50 articles
[sw04401]
 methods from various fields: interval fixedpoint operators, constraint propagation and local consistency techniques, local ... benchmarks are also provided. Interval arithmetic is supported by gaol...

IbexOpt
 Referenced in 14 articles
[sw12331]
 Exploiting monotonicity in interval constraint propagation...

GlobSol
 Referenced in 38 articles
[sw06724]
 combines various ideas from interval analysis, automatic differentiation, and constraint propagation to provide verified solutions...

MGTP
 Referenced in 7 articles
[sw09701]
 constraint satisfaction problems, enabling negative and interval constraint propagation, respectively, nonHorn magic...

Benchmarks
 Referenced in 24 articles
[sw04612]
 Safety verification of hybrid systems by constraint propagation based abstraction refinement This paper deals with ... start from a classical method that uses interval arithmetic to check whether trajectories can move ... additional refinement step that employs constraint propagation to add information to the abstraction without introducing...

coco_gop_ex
 Referenced in 4 articles
[sw10850]
 methods implemented in COCONUT, regarding both interval function evaluations (such as first and second order ... algorithmic elements (inclusion/exclusion boxes, local search, constraint propagation). This resulted in a substantial performance increase ... algorithmic questions (such as whether to use interval gradients or use slopes instead), that have...

CaSPER
 Referenced in 6 articles
[sw08629]
 aspects of the solving process such as propagator scheduling, search strategies, lowlevel domain implementation ... more. Powerful interface for adding new constraints due to efficient domain delta information availability (information ... graph domain variables, generic (possibly realvalued) intervalbased reasoning and for 3d space reasoning...

ADOLC
 Referenced in 221 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

CGAL
 Referenced in 335 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 122 articles
[sw00182]
 A C++ class library for extended scientific computing...

GAP
 Referenced in 2702 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GLOPT
 Referenced in 19 articles
[sw00359]
 GLOPT is a Fortran 77 program for global...

gmp
 Referenced in 256 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HSL
 Referenced in 265 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

INTBIS
 Referenced in 31 articles
[sw00442]
 Algorithm 681: INTBIS, a portable interval Newton/bisection package...

LANCELOT
 Referenced in 293 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1586 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 343 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...