
Genocop
 Referenced in 1014 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...

ILOG SCHEDULE
 Referenced in 57 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...

AUTO
 Referenced in 736 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...

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

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

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

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

Gecode
 Referenced in 53 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 105 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 43 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 179 articles
[sw04732]
 systems with persistent additive and polytopic uncertainties. Users can add custom constraints, such as polytopic...

AUTO86
 Referenced in 259 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...

NLPQLP
 Referenced in 37 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 228 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...

BARON
 Referenced in 264 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...

INTOPT_90
 Referenced in 294 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...

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...

Benchmarks
 Referenced in 22 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...

IMITATOR
 Referenced in 21 articles
[sw00439]
 present here Imitator, a tool for synthesizing constraints on timing bounds (seen as parameters ... system is known to behave properly. Our aim is to generate a constraint such ... that, under any valuation satisfying this constraint, the system is guaranteed to behave, in terms...