• BIANCA

  • Referenced in 13 articles [sw02081]
  • genetic algorithm to solve hard combinatorial optimisation problems in engineering The genetic algorithm BIANCA developed ... design and optimisation of composite laminates is a multi-population genetic algorithm capable ... deal with unconstrained and constrained hard combinatorial optimisation problems in engineering. The effectiveness and robustness...
  • HyFlex

  • Referenced in 12 articles [sw07688]
  • software interface for dealing with different combinatorial optimisation problems and provides the algorithm components that ... designing adaptive general-purpose optimisation algorithms. Six hard combinatorial problems are fully implemented: maximum satisfiability...
  • G12

  • Referenced in 11 articles [sw10112]
  • platform for solving large scale industrial combinatorial optimisation problems. The core design involves three languages...
  • MCS

  • Referenced in 9 articles [sw02814]
  • algorithm for multicriteria optimisation in constraint programming. We propose a new algorithm called ... search for solutions to multicriteria combinatorial optimisation problems. To quickly produce a solution that offers...
  • FC-TLBO

  • Referenced in 1 article [sw22855]
  • parametric algorithm using teaching-learning-based optimisation technique with an inbuilt constraints maintenance mechanism using ... unmixing problem is transformed into a combinatorial optimisation problem by introducing abundance...
  • QAPgrid

  • Referenced in 1 article [sw23152]
  • algorithms and models from combinatorial optimisation. Datasets often contain ”hidden regularities” and a combined identification ... large instances of this NP-hard combinatorial optimization problem, and we show its performance...
  • GraphCombEx

  • Referenced in 0 articles [sw32090]
  • Software Tool for Exploration of Combinatorial Optimisation Properties of Large Graphs. We present a prototype ... software tool for exploration of multiple combinatorial optimisation problems in large real-world and synthetic ... number of widely studied combinatorial optimisation problems. Efficient representation and applicability to large-scale graphs ... number of recent research studies using combinatorial optimisation to analyse complex networks, indicating its promise...
  • SHGO

  • Referenced in 2 articles [sw26954]
  • purpose global optimisation algorithm based on applications of simplicial integral homology and combinatorial topology. SHGO ... solving higher dimensional black and grey box optimisation problems. This complex is built up using...
  • Visiplan

  • Referenced in 2 articles [sw00999]
  • implementation details behind the optimisation technique). Approximation methods that mix artificial intelligence and operation research ... techniques are successfully used for solving combinatorial problems. The key elements of this approach...
  • TOAST

  • Referenced in 3 articles [sw32206]
  • declarative programming particularly suited to difficult combinatorial search problems. However ... large-scale application, the TOAST (Total Optimisation using Answer Set Technology) system, which seeks...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • EOlib

  • Referenced in 19 articles [sw00239]
  • EO is a template-based, ANSI-C++ evolutionary...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • iOpt

  • Referenced in 8 articles [sw00448]
  • iOpt: A software toolkit for heuristic search methods...
  • KNITRO

  • Referenced in 196 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...