• Genocop

  • Referenced in 1081 articles [sw04707]
  • Genocop system aims at finding a global optimum (minimum or maximum: this ... input parameters) of a function; additional linear constraints (equations and inequalities) can be specified...
  • Gecode

  • Referenced in 63 articles [sw06272]
  • more than 70 constraints from the Global Constraint Catalog and many more ... parts including reference documentation, implementations of global constraints, and examples are available as source code...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • chapter on global optimization (40 pages) only admits equality constraints (within a box frame...
  • EGO

  • Referenced in 349 articles [sw07588]
  • bounded global optimization problems with additional linear, nonlinear and integer constraints. The idea...
  • NLopt

  • Referenced in 91 articles [sw11789]
  • millions of parameters and thousands of constraints). Both global and local optimization algorithms. Algorithms using ... bound-constrained optimization, and general nonlinear inequality/equality constraints. Free/open-source software under the GNU LGPL...
  • Numerica

  • Referenced in 46 articles [sw21227]
  • Numerica: A modeling language for global optimization. Many science and engineering applications require the user ... find solutions to systems of nonlinear constraints or to optimize ... nonlinear function subject to nonlinear constraints. The field of global optimization is the study ... solutions to systems of nonlinear constraints and all global optima to optimization problems. Numerica...
  • TSPTW

  • Referenced in 36 articles [sw04709]
  • approach for solving the TSPTW that merges Constraint Programming propagation algorithms for the feasibility viewpoint ... Operations Research optimization techniques embedded in global constraints, and Constraint Programming constraint solving techniques, makes...
  • RealPaver

  • Referenced in 50 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global optimization. Problems: Realpaver allows modeling and solving ... constraints. Moreover, it is able to enclose the global optimum of an optimization problem with ... from various fields: interval fixed-point operators, constraint propagation and local consistency techniques, local optimization...
  • BARON

  • Referenced in 316 articles [sw00066]
  • system for solving nonconvex optimization problems to global optimality. Purely continuous, purely integer, and mixed ... Navigator derives its name from its combining constraint propagation, interval analysis, and duality ... complex optimization problems in search of global solutions...
  • Sugar

  • Referenced in 24 articles [sw09758]
  • award winning solver of global constraint categories at the International CSP Solver Competitions...
  • JaCoP

  • Referenced in 19 articles [sw06307]
  • provides a significant number of (global) constraints to facilitate efficient modeling. It also provides modular...
  • HIBISCUS

  • Referenced in 13 articles [sw31090]
  • health care. This paper presents a constraint programming model and search strategy to formulate ... rules involved may be expressed using global constraints. We describe a modular architecture for heuristic...
  • CC-Pi

  • Referenced in 28 articles [sw15033]
  • allows for local stores of constraints, which may become global as a consequence of synchronisations...
  • GLOB

  • Referenced in 34 articles [sw00357]
  • methodology to continuous global optimization problems with box constraints. A general VNS algorithm is implemented ... class of NP-hard global optimization problems arising in practice. The computational results show...
  • GLOPTLAB

  • Referenced in 15 articles [sw02776]
  • rigorous global solution of quadratic constraint satisfaction problems. Global Optimization Laboratory is an easy ... testing and development platform for solving quadratic constraint satisfaction problems, written in Matlab. All implemented...
  • Prolog

  • Referenced in 68 articles [sw06518]
  • Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does ... practice (global variables, OS interface, sockets,...). GNU Prolog also includes an efficient constraint solver over...
  • dtw

  • Referenced in 16 articles [sw07323]
  • variants covered include local (slope) and global (window) constraints, subsequence matches, arbitrary distance definitions, normalizations...
  • D-NURBS

  • Referenced in 16 articles [sw09123]
  • applying simulated forces and local and global shape constraints. We use Lagrangian mechanics to formulate...
  • SLIDE

  • Referenced in 9 articles [sw08449]
  • encode a wide range of sliding sequence constraints including CardPath itself. We consider ... demonstrate that using SLIDE to encode global constraints can be as efficient and effective...