• SALSA

  • Referenced in 30 articles [sw02661]
  • Constraint Logic Programming. We propose a language, SALSA, dedicated to specifying (local, global or hybrid...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • application, an ESTEREL program annotated with temporal constraints, the TAXYS tool produces ... obtain a global model which is statically analyzed to validate timing constraints. This validation should...
  • DeMat

  • Referenced in 41 articles [sw24853]
  • book Differential Evolution - A Practical Approach to Global Optimization is available here by courtesy ... designed to incorporate bounds, inequality, and equality constraints. The above book contains a detailed explanation...
  • MVF

  • Referenced in 12 articles [sw26955]
  • uncon- strained global optimization or with simple box constraints. This article describes the functions currently...
  • Sparse-BSOS

  • Referenced in 14 articles [sw31772]
  • programs (with semidefinite constraints of fixed size) converges to the global optimum of the original...
  • PDELab

  • Referenced in 29 articles [sw04090]
  • partial differential equations (PDEs) by setting up global functions and operators from a simple element ... description. A general concept for incorporation of constraints eases the implementation of essential boundary conditions...
  • DragonBreath

  • Referenced in 2 articles [sw21246]
  • found in the publications Using Global Constraints for Local Search and Applying Local Search...
  • MProbe

  • Referenced in 12 articles [sw09574]
  • find a global optimum, tools for estimating the effectiveness of constraints and for navigating through...
  • APOGEE

  • Referenced in 36 articles [sw08451]
  • logarithmic partitioning schemes. Our recent work globally optimized two classes of large-scale pooling problems ... extended pooling problem incorporating environmental regulations into constraints. The pooling problems were optimized using ... developing APOGEE, a computational tool that globally optimizes standard, generalized, and extended pooling problems. APOGEE...
  • tccp

  • Referenced in 3 articles [sw28619]
  • checking (asking) partial information (constraints) on a global store (a conjunction of constraints). tccp inherits...
  • IBEX

  • Referenced in 12 articles [sw11947]
  • provides reliable algorithms for handling non-linear constraints. In particular, roundoff errors are also taken ... Global optimization. A global minimizer of some function under non-linear constraints is calculated with...
  • reducedLP

  • Referenced in 12 articles [sw04821]
  • constant as the size of the reduced constraint set is decreased down to some threshold ... case of the affine-scaling algorithm, global convergence and local quadratic convergence are proved...
  • TRICE

  • Referenced in 46 articles [sw05197]
  • strict feasibility with respect to the bound constraints by using an affine scaling method proposed ... variety of methods, including many iterative techniques.par Global convergence of these algorithms to a first ... special cases, current results for only equality constraints and for only simple bounds.par Numerical results...
  • PSOPT

  • Referenced in 8 articles [sw20700]
  • integrators. With both global and local methods, differential equations, continuous constraints and integrals associated with...
  • SUNNY

  • Referenced in 12 articles [sw31800]
  • constraint solving. Within the context of constraint solving, a portfolio approach allows one to exploit ... different solvers in order to create a globally better solver. In this paper we present ... that takes advantage of a portfolio of constraint solvers in order to compute -- without learning...
  • CP4CAP

  • Referenced in 1 article [sw23878]
  • CP4CAP repository. CP4CAP: Constraint Programming for Constrained Arborescence Problem. This repository contains ... source codes for the CP models, global constraints (StockingCost and IDStockingCost constraints) and the instances...
  • ARGONAUT

  • Referenced in 9 articles [sw20651]
  • constrained global optimization with a large number of input variables and constraints. The performance...
  • LS-LIB

  • Referenced in 1 article [sw19560]
  • library of primitives to declare procedures/subroutines/global constraints in a high-level modeling language that ... simple matter to use the global constraints of LS-LIB by adding a few lines...
  • ManiSolve

  • Referenced in 1 article [sw34623]
  • manifold-based approach to sparse global constraint satisfaction problems. We consider square, sparse nonlinear systems...
  • DIRDFN

  • Referenced in 8 articles [sw36984]
  • consider global optimization problems where both bound and general nonlinear constraints are present. To solve ... nature of the optimization problems, i.e. the global optimization of both the objective function...