• SDPT3

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

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

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

  • Referenced in 44 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...
  • 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 interval-based ... from various fields: interval fixed-point operators, constraint propagation and local consistency techniques, local optimization...
  • COMET

  • Referenced in 69 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 43 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...
  • SOCS

  • Referenced in 105 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...
  • CFSQP

  • Referenced in 59 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...
  • QOCA

  • Referenced in 28 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...
  • Clingcon

  • Referenced in 31 articles [sw09892]
  • Answer Set Programming (ASP) with constraint solving. Constraints over non-linear finite integers...
  • Tabu search

  • Referenced in 988 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...
  • RSOLVER

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

  • Referenced in 33 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...
  • EGO

  • Referenced in 252 articles [sw07588]
  • solves costly box-bounded global optimization problems with additional linear, nonlinear and integer constraints...
  • BARON

  • Referenced in 267 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...
  • CONOPT

  • Referenced in 147 articles [sw02791]
  • algorithm for solving large-scale nonlinear programs involving sparse nonlinear constraints. The paper will discuss...