
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 multipopulation 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 generalpurpose 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...

FCTLBO
 Referenced in 1 article
[sw22855]
 parametric algorithm using teachinglearningbased 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 NPhard 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 realworld and synthetic ... number of widely studied combinatorial optimisation problems. Efficient representation and applicability to largescale 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 ... largescale application, the TOAST (Total Optimisation using Answer Set Technology) system, which seeks...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: 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 templatebased, ANSIC++ 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...