• SDPT3

  • Referenced in 707 articles [sw04009]
  • software is designed to solve conic programming problems whose constraint cone is a product ... also exploit low-rank structures in the constraint matrices associated the semidefinite 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 general-purpose 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 interval-based ... from various fields: interval fixed-point operators, constraint propagation and local consistency techniques, local optimization...
  • EGO

  • Referenced in 412 articles [sw07588]
  • solves costly box-bounded 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 non-linear 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 constraint-solving 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 object-oriented 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]
  • mixed-integer 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...