
SDPT3
 Referenced in 707 articles
[sw04009]
 software is designed to solve conic programming problems whose constraint cone is a product ... also exploit lowrank structures in the constraint matrices associated the semideﬁnite blocks if such ... show that this general purpose code can solve more than 80% of a total...

SeDuMi
 Referenced in 1284 articles
[sw04002]
 solving optimization problems over symmetric cones, i.e. it allows not only for linear constraints...

SNOPT
 Referenced in 556 articles
[sw02300]
 solving constrained optimization problems with smooth nonlinear functions in the objective and constraints. Here ... first derivatives are available and that the constraint gradients are sparse. We discuss ... solving the QP subproblems. It is designed for problems with many thousands of constraints...

clasp
 Referenced in 104 articles
[sw07095]
 techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict...

MINION
 Referenced in 53 articles
[sw10176]
 with problem size  MINION delivers scalable constraint solving. MINION is a generalpurpose constraint solver ... current constraint toolkits, which, in order to provide ever more modelling and solving options, have ... towards Puget’s `Model and Run’ constraint solving paradigm...

Prolog
 Referenced in 70 articles
[sw06518]
 free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog...

TOY
 Referenced in 56 articles
[sw09812]
 solving by needed narrowing combined with constraint solving. The implementation is based on a compilation...

SOCS
 Referenced in 149 articles
[sw07737]
 sparse linear algebra technology to solve very large optimization problems orders of magnitude faster than ... than 100,000 variables and constraints can now be solved efficiently on desktop computers...

RealPaver
 Referenced in 51 articles
[sw04401]
 Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global optimization. Problems: Realpaver allows modeling and solving ... existence of solutions to a set of constraints. Moreover, it is able to enclose ... optimum of an optimization problem with certainty. Solving methods: Realpaver implements correctly rounded intervalbased ... from various fields: interval fixedpoint operators, constraint propagation and local consistency techniques, local optimization...

EGO
 Referenced in 412 articles
[sw07588]
 solves costly boxbounded global optimization problems with additional linear, nonlinear and integer constraints...

Clingcon
 Referenced in 39 articles
[sw09892]
 Answer Set Programming (ASP) with constraint solving. Constraints over nonlinear finite integers...

COMET
 Referenced in 80 articles
[sw03051]
 fundamental methodology to solve a variety of combinatorial problems, and rich constraint programming languages have ... introduces a method for solving combinatorial optimization problems that combines constraint programming and local search...

Numerica
 Referenced in 46 articles
[sw21227]
 textbooks and scientific papers. The constraintsolving algorithm of Numerica is based on a combination ... such as interval and local methods, and constraint satisfaction techniques.This comprehensive presentation of Numerica describes ... discusses how to use Numerica effectively to solve practical problems and reports a number...

Tabu search
 Referenced in 1079 articles
[sw08556]
 user to understand basic implementation principles for solving combinatorial or nonlinear problems. We also identify ... model elements, such as new types of constraints and objective functions. Similarly, the method itself...

QOCA
 Referenced in 30 articles
[sw00756]
 describe an objectoriented constraint solving toolkit, QOCA, designed for interactive graphical applications ... based on the metric space model for constraint manipulation. In this model interaction with ... which rely on keeping the constraints in solved form and relies on novel algorithms ... interface design and the speed of constraint solving...

BARON
 Referenced in 361 articles
[sw00066]
 mixedinteger nonlinear problems can be solved with the software. The Branch And Reduce Optimization ... Navigator derives its name from its combining constraint propagation, interval analysis, and duality...

CFSQP
 Referenced in 61 articles
[sw04658]
 Solving (Large Scale) Constrained Nonlinear (Minimax) Optimization Problems, Generating Iterates Satisfying All Inequality Constraints. CFSQP ... function which penalizes nonlinear equality constraint violations only. When solving problems with many sequentially related ... constraints (or objectives), such as discretized semi infinite programming (SIP) problems, CFSQP gives the user ... option to use an algorithm that efficiently solves these problems, greatly reducing computational effort...

SQPlab
 Referenced in 181 articles
[sw05161]
 Matlab implementation of the SQP algorithm for solving constrained optimization problems. The functions defining ... objective and linear constraints. This QP is still difficult to solve however; in particular...

TSPTW
 Referenced in 39 articles
[sw04709]
 hybrid approach for solving the TSPTW that merges Constraint Programming propagation algorithms for the feasibility ... global constraints, and Constraint Programming constraint solving techniques, makes the resulting framework effective...

RSOLVER
 Referenced in 74 articles
[sw04334]
 RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution...