• FreeFem++

  • Referenced in 1010 articles [sw01436]
  • Problems involving PDE (2d, 3d) from several branches of physics such as fluid-structure interactions...
  • SCIP

  • Referenced in 453 articles [sw01091]
  • framework for constraint integer programming and branch-cut-and-price. 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 branch-and-bound algorithms using linear programming relaxations ... planes or columns can be generated dynamically (branch-and-cut, branch-and-price, 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 branch-and-bound and polyhedral outer approximation...
  • CVRPSP

  • Referenced in 112 articles [sw13447]
  • separation of various classes of cuts in branch-and-cut algorithms for the Capacitated Vehicle ... those that were used in ”A New Branch-and-Cut Algorithm for the Capacitated Vehicle ... routine for generating candidate sets for branching...
  • GLPK

  • Referenced in 164 articles [sw04560]
  • simplex methods, primal-dual interior-point method, branch-and-cut 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...
  • Sage-Combinat

  • Referenced in 98 articles [sw16448]
  • practice, Sage-combinat 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 mixed-integer linear programs by a branch-and-bound algorithm with linear programming relaxations...
  • Couenne

  • Referenced in 62 articles [sw04347]
  • Branching and bounds tightening techniques for non-connvex 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 open-source solvers...
  • CALMA

  • Referenced in 105 articles [sw03235]
  • participants developed optimization algorithms based on branch-and-cut 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 infinite-branching trees for any cardinality of branching...