
SDPT3
 Referenced in 605 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 1168 articles
[sw04002]
 solving optimization problems over symmetric cones, i.e. it allows not only for linear constraints...

SNOPT
 Referenced in 497 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 90 articles
[sw07095]
 techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict...

MINION
 Referenced in 49 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 68 articles
[sw06518]
 free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog...

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

RealPaver
 Referenced in 50 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...

SOCS
 Referenced in 124 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...

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

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

COMET
 Referenced in 70 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...

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

Tabu search
 Referenced in 1038 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 29 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...

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

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

TSPTW
 Referenced in 36 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...

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

CONOPT
 Referenced in 162 articles
[sw02791]
 algorithm for solving largescale nonlinear programs involving sparse nonlinear constraints. The paper will discuss...