
SALSA
 Referenced in 30 articles
[sw02661]
 Constraint Logic Programming. We propose a language, SALSA, dedicated to specifying (local, global or hybrid...

TAXYS
 Referenced in 21 articles
[sw01389]
 application, an ESTEREL program annotated with temporal constraints, the TAXYS tool produces ... obtain a global model which is statically analyzed to validate timing constraints. This validation should...

DeMat
 Referenced in 41 articles
[sw24853]
 book Differential Evolution  A Practical Approach to Global Optimization is available here by courtesy ... designed to incorporate bounds, inequality, and equality constraints. The above book contains a detailed explanation...

MVF
 Referenced in 12 articles
[sw26955]
 uncon strained global optimization or with simple box constraints. This article describes the functions currently...

SparseBSOS
 Referenced in 14 articles
[sw31772]
 programs (with semidefinite constraints of fixed size) converges to the global optimum of the original...

PDELab
 Referenced in 29 articles
[sw04090]
 partial differential equations (PDEs) by setting up global functions and operators from a simple element ... description. A general concept for incorporation of constraints eases the implementation of essential boundary conditions...

DragonBreath
 Referenced in 2 articles
[sw21246]
 found in the publications Using Global Constraints for Local Search and Applying Local Search...

MProbe
 Referenced in 12 articles
[sw09574]
 find a global optimum, tools for estimating the effectiveness of constraints and for navigating through...

APOGEE
 Referenced in 36 articles
[sw08451]
 logarithmic partitioning schemes. Our recent work globally optimized two classes of largescale pooling problems ... extended pooling problem incorporating environmental regulations into constraints. The pooling problems were optimized using ... developing APOGEE, a computational tool that globally optimizes standard, generalized, and extended pooling problems. APOGEE...

tccp
 Referenced in 3 articles
[sw28619]
 checking (asking) partial information (constraints) on a global store (a conjunction of constraints). tccp inherits...

IBEX
 Referenced in 12 articles
[sw11947]
 provides reliable algorithms for handling nonlinear constraints. In particular, roundoff errors are also taken ... Global optimization. A global minimizer of some function under nonlinear constraints is calculated with...

reducedLP
 Referenced in 12 articles
[sw04821]
 constant as the size of the reduced constraint set is decreased down to some threshold ... case of the affinescaling algorithm, global convergence and local quadratic convergence are proved...

TRICE
 Referenced in 46 articles
[sw05197]
 strict feasibility with respect to the bound constraints by using an affine scaling method proposed ... variety of methods, including many iterative techniques.par Global convergence of these algorithms to a first ... special cases, current results for only equality constraints and for only simple bounds.par Numerical results...

PSOPT
 Referenced in 8 articles
[sw20700]
 integrators. With both global and local methods, differential equations, continuous constraints and integrals associated with...

SUNNY
 Referenced in 12 articles
[sw31800]
 constraint solving. Within the context of constraint solving, a portfolio approach allows one to exploit ... different solvers in order to create a globally better solver. In this paper we present ... that takes advantage of a portfolio of constraint solvers in order to compute  without learning...

CP4CAP
 Referenced in 1 article
[sw23878]
 CP4CAP repository. CP4CAP: Constraint Programming for Constrained Arborescence Problem. This repository contains ... source codes for the CP models, global constraints (StockingCost and IDStockingCost constraints) and the instances...

ARGONAUT
 Referenced in 9 articles
[sw20651]
 constrained global optimization with a large number of input variables and constraints. The performance...

LSLIB
 Referenced in 1 article
[sw19560]
 library of primitives to declare procedures/subroutines/global constraints in a highlevel modeling language that ... simple matter to use the global constraints of LSLIB by adding a few lines...

ManiSolve
 Referenced in 1 article
[sw34623]
 manifoldbased approach to sparse global constraint satisfaction problems. We consider square, sparse nonlinear systems...

DIRDFN
 Referenced in 8 articles
[sw36984]
 consider global optimization problems where both bound and general nonlinear constraints are present. To solve ... nature of the optimization problems, i.e. the global optimization of both the objective function...