
FreeFem++
 Referenced in 1010 articles
[sw01436]
 Problems involving PDE (2d, 3d) from several branches of physics such as fluidstructure interactions...

SCIP
 Referenced in 453 articles
[sw01091]
 framework for constraint integer programming and branchcutandprice. It allows for total control...

BARON
 Referenced in 308 articles
[sw00066]
 solved with the software. The Branch And Reduce Optimization Navigator derives its name from ... duality in its reduce arsenal with enhanced branch and bound concepts as it winds...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 rather practical and numerical approach in a branch and bound pattern touching many software details ... frame). The solution procedures are based on branch and bound, infeasibility test, interval Newton algorithm...

MATCONT
 Referenced in 355 articles
[sw00551]
 which were never implemented before: continuation of branch points in three parameters, the universal...

QEPCAD
 Referenced in 275 articles
[sw00752]
 internet accessible source at all. This branch of QEPCAD, QEPCAD ”B”, was introduced to address...

ABC
 Referenced in 261 articles
[sw10950]
 algorithm. Swarm intelligence is a research branch that models the population of interacting agents...

ABACUS
 Referenced in 115 articles
[sw02948]
 provides a framework for the implementation of branchandbound algorithms using linear programming relaxations ... planes or columns can be generated dynamically (branchandcut, branchandprice, branch ... list of different enumeration and branching strategies from which the best alternative for the user...

Bonmin
 Referenced in 183 articles
[sw04766]
 class of hybrid algorithms, of which branchandbound and polyhedral outer approximation...

CVRPSP
 Referenced in 112 articles
[sw13447]
 separation of various classes of cuts in branchandcut algorithms for the Capacitated Vehicle ... those that were used in ”A New BranchandCut Algorithm for the Capacitated Vehicle ... routine for generating candidate sets for branching...

GLPK
 Referenced in 164 articles
[sw04560]
 simplex methods, primaldual interiorpoint method, branchandcut method, translator for GNU MathProg...

CONOPT
 Referenced in 162 articles
[sw02791]
 range of models from different branches of engineering and economics of up to 4000 equations...

CESAR
 Referenced in 156 articles
[sw08510]
 formulas of a branching time logic, the temporal operators of which can be computed iteratively...

LiE
 Referenced in 150 articles
[sw01075]
 specialities of LiE are: tensor product decompositions, branching to subgroups, Weyl group orbits, reduced elements...

SageCombinat
 Referenced in 98 articles
[sw16448]
 practice, Sagecombinat is a collection of branches on top of Sage, developed ... intent is that most of those branches get eventually integrated into Sage as soon...

MINTO
 Referenced in 132 articles
[sw04587]
 solves mixedinteger linear programs by a branchandbound algorithm with linear programming relaxations...

Couenne
 Referenced in 62 articles
[sw04347]
 Branching and bounds tightening techniques for nonconnvex MINLP. Many industrial problems can be naturally ... models and can be solved by spatial Branch& Bound (sBB) techniques. We study the impact ... methods: bounds tightening (BT) and branching strategies. We extend a branching technique originally developed ... MILP, reliability branching, to the MINLP case. Motivated by the demand for opensource solvers...

CALMA
 Referenced in 105 articles
[sw03235]
 participants developed optimization algorithms based on branchandcut and constraint satisfaction, and approximation techniques...

Gecode
 Referenced in 63 articles
[sw06272]
 supports the programming of new constraints, branching strategies, and search engines. New variable domains ... more on top); C++ modeling layer; advanced branching heuristics (accumulated failure count, activity); many search...

Isabelle/ZF
 Referenced in 62 articles
[sw04973]
 notions. It supports inductive definitions of infinitebranching trees for any cardinality of branching...