• ALPS

  • Referenced in 17 articles [sw00036]
  • associated with the variables and constraints is introduced. These global objects provide a connection between...
  • SLIDE

  • Referenced in 8 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...
  • GLOPT

  • Referenced in 19 articles [sw00359]
  • constraints and block-separable constraints. It finds a nearly globally optimal point that is near ... thus find a good approximation to the global minimizer. \parGLOPT uses a branch and bound ... neither derivatives nor simultaneous information about several constraints. Numerical results are already encouraging. Work...
  • AllDifferent

  • Referenced in 4 articles [sw08967]
  • Precedences. We propose AllDiffPrec, a new global constraint that combines together an AllDifferent constraint with ... number of applications for this global constraint including instruction scheduling and symmetry breaking. We give ... that enforces bounds consistency on this global constraint. We show how to implement this propagator ... that enforcing domain consistency on this global constraint is NP-hard in general...
  • PSwarm

  • Referenced in 68 articles [sw00742]
  • resulting algorithm is highly competitive with other global optimization methods based only on function values ... this paper to handle general linear constraints. The poll step now incorporates positive generators ... tangent cone of the approximated active constraints, including a provision for the degenerate case ... with other solvers (including some designed for global optimization) and the results confirm its competitiveness...
  • MYSTIQ

  • Referenced in 12 articles [sw09439]
  • their combined data may violate some global integrity constraints; fuzzy matches between objects from different...
  • meSAT

  • Referenced in 5 articles [sw29642]
  • that are often encountered (e.g., cardinality constraints, global constraints). However, there is no single encoding...
  • Merlin

  • Referenced in 6 articles [sw25230]
  • executed on network elements including a constraint solver that allocates bandwidth using parameterizable heuristics ... policies do not violate global constraints. Experiments demonstrate the expressiveness and scalability of Merlin...
  • ICOS

  • Referenced in 16 articles [sw04007]
  • rigorous global optimization. This article describes a software package called Interval Constraint Solver (ICOS), which ... rigorously solving global optimization problems. The ICOS library contains algorithms coming from constraint programming, interval...
  • GlobSol

  • Referenced in 38 articles [sw06724]
  • differentiation, and constraint propagation to provide verified solutions to unconstrained and constrained global optimization problems...
  • alphaBB

  • Referenced in 49 articles [sw06249]
  • Constrained Nonconvex Problems. A branch and bound global optimization method, ffBB, for general continuous optimization ... involving nonconvexities in the objective function and/or constraints is presented. The nonconvexities are categorized ... algorithm attains finite ffl--convergence to the global minimum through the successive subdivision...
  • Helios

  • Referenced in 11 articles [sw01440]
  • analysis. Helios makes it possible to state global optimization problems almost as in sci- entific ... isolated solutions in constraint-solving problems and all global optima in optimization problems. Helios statements...
  • Proteus

  • Referenced in 11 articles [sw10080]
  • solver competitions, involving global and intensional constraints. We show that significant performance improvements...
  • CSP2SAT4J

  • Referenced in 4 articles [sw10081]
  • given in intension, and global constraints such as allDifferent are available. The idea behind...
  • FaCiLe

  • Referenced in 4 articles [sw31028]
  • constraints (possibly non-linear), built-in global constraints (difference, cardinality, sorting etc.) and search...
  • GDE3

  • Referenced in 26 articles [sw18883]
  • global optimization with an arbitrary number of objectives and constraints. In the case...
  • BiCePS

  • Referenced in 9 articles [sw06321]
  • associated with the variables and constraints is introduced. These global objects provide a connection between...
  • fzn2smt

  • Referenced in 4 articles [sw13501]
  • fzn2smt supports all standard data types and constraints of FlatZinc. The logic required for solving ... Only the alldifferent and cumulative MiniZinc global constraints are supported (encoding them into...
  • SO-I

  • Referenced in 15 articles [sw10100]
  • expensive nonlinear integer programming problems including global optimization applications. This paper presents the surrogate model ... have computationally expensive constraints. The algorithm was developed for solving global optimization problems, meaning that ... optimization phase that aims at minimizing a constraint violation function. A feasible user-supplied point...
  • SALSA

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