
Genocop
 Referenced in 1074 articles
[sw04707]
 unconstrained optimization, written in C. The Genocop system aims at finding a global optimum (minimum ... input parameters) of a function; additional linear constraints (equations and inequalities) can be specified ... without changes on any BSDUN*X system (preferably on a Sun SPARC machine). This...

AUTO
 Referenced in 811 articles
[sw01059]
 systems of ordinary differential equations of the form ... initial conditions, boundary conditions, and integral constraints. Here p denotes one or more parameters. AUTO ... therefore it is applicable to rather large systems of differential equations...

ILOG SCHEDULE
 Referenced in 60 articles
[sw21243]
 library for the development of constraintbased scheduling systems. It has been argued that ... constraintbased techniques and tools enables the implementation of precise, flexible efficient and extensible scheduling ... flexible as the system can take into account any constraint expressible in the constraint language ... framework) only an extension to the constraint system or, in the worst case, the implementation...

MINOS
 Referenced in 440 articles
[sw05095]
 system, for the solution of sparse linear and nonlinear programs. The objective function and constraints...

CSDP
 Referenced in 194 articles
[sw00169]
 constraint matrices. CSDP has been compiled on many different systems. The code should work...

VAMPIRE
 Referenced in 229 articles
[sw02918]
 checks of ordering constraints. Although the kernel of the system works only with clausal normal...

PPL
 Referenced in 91 articles
[sw05357]
 polyhedra that are described by systems of constraints where strict inequalities are allowed to occur...

Gecode
 Referenced in 57 articles
[sw06272]
 Gecode is a toolkit for developing constraintbased systems and applications. Gecode provides a constraint ... interfaced to other systems. It supports the programming of new constraints, branching strategies, and search ... parts including reference documentation, implementations of global constraints, and examples are available as source code ... parallel search, giving an already efficient base system an additional edge. tested Gecode uses...

PHAVer
 Referenced in 107 articles
[sw04123]
 exact veriﬁcation of safety properties of hybrid systems with piecewise constant bounds on the derivatives ... based on userdeﬁnable constraints and the dynamics of the system. PHAVer’s exact arithmetic ... conservatively limit the number of bits and constraints of polyhedra. Experimental results for a navigation...

Numerica
 Referenced in 46 articles
[sw21227]
 user to find solutions to systems of nonlinear constraints or to optimize a nonlinear function ... subject to nonlinear constraints. The field of global optimization is the study of methods ... find all solutions to systems of nonlinear constraints and all global optima to optimization problems...

MPT
 Referenced in 208 articles
[sw04732]
 systems with persistent additive and polytopic uncertainties. Users can add custom constraints, such as polytopic...

AUTO86
 Referenced in 271 articles
[sw04220]
 Rnand of systems of ordinary differential equations of the formu ... initial conditions, boundary conditions, and integral constraints. Here p denotes one or more parameters. AUTO ... therefore it is applicable to rather large systems of differential equations...

BARON
 Referenced in 304 articles
[sw00066]
 BARON is a computational system for solving nonconvex optimization problems to global optimality. Purely continuous ... Navigator derives its name from its combining constraint propagation, interval analysis, and duality...

NLPQLP
 Referenced in 38 articles
[sw04073]
 Lagrangian function and a linearization of constraints, a quadratic programming subproblem is formulated and solved ... nodes of the distributed system, objective and constraint functions can be evaluated simultaneously at predetermined...

Smodels
 Referenced in 238 articles
[sw04631]
 Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics ... idea of ASP is to encode the constraints of a problem as a logic program...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 solution intervals. The chapter about solving nonlinear systems of equations (23 pages) features a rather ... global optimization (40 pages) only admits equality constraints (within a box frame). The solution procedures...

Benchmarks
 Referenced in 24 articles
[sw04612]
 Safety verification of hybrid systems by constraint propagation based abstraction refinement This paper deals with ... safety verification of nonlinear hybrid systems. We start from a classical method that uses ... developing an additional refinement step that employs constraint propagation to add information to the abstraction...

PicHunter
 Referenced in 53 articles
[sw14896]
 including most previously proposed systems. However, even with this constraint and simple image features, PicHunter ... performance of current image database retrieval systems can be improved by incorporation of the techniques...

LATIN
 Referenced in 15 articles
[sw19699]
 theorem provers, model checkers, computer algebra systems, constraint solvers, or concept classifiers. Unfortunately, these systems...

HSolver
 Referenced in 40 articles
[sw07419]
 program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages...