• Isabelle/ZF

  • Referenced in 64 articles [sw04973]
  • notions. It supports inductive definitions of infinite-branching trees for any cardinality of branching...
  • Biq Mac

  • Referenced in 89 articles [sw10532]
  • weighted graph. We use a Branch-and-Bound setting that applies a dynamic version...
  • JaxoDraw

  • Referenced in 88 articles [sw10448]
  • backward-compatible with the 1.x branch. The most prominent new features include: drawing...
  • Valgrind

  • Referenced in 63 articles [sw04420]
  • thread error detectors, a cache and branch-prediction profiler, a call-graph generating cache ... branch-prediction profiler, and a heap profiler. It also includes three experimental tools: a heap/stack/global...
  • FilMINT

  • Referenced in 52 articles [sw06197]
  • Grossmann} [“An LP/NLP based branch-and-bound algorithm for convex MINLP optimization problems.” Comput. Chemical ... linearizations at open nodes of the branch-and-bound tree whenever an integer solution ... solver, FilMINT, combines the MINTO branch-and-cut framework for MILP with filterSQP to solve...
  • LieART

  • Referenced in 58 articles [sw08573]
  • such as tensor product decomposition and subalgebra branching of irreducible representations. LieART can handle ... Extensive tables of properties, tensor products and branching rules of irreducible representations are included...
  • lp_solve

  • Referenced in 79 articles [sw04006]
  • revised simplex method and the Branch-and-bound method for the integers. It contains full...
  • Cliquer

  • Referenced in 72 articles [sw05044]
  • arbitrary weighted graph. It uses an exact branch-and-bound algorithm developed by Patric Östergård...
  • alphaBB

  • Referenced in 49 articles [sw06249]
  • Method for General Constrained Nonconvex Problems. A branch and bound global optimization method, ffBB ... nonconvex terms of generic structure. The proposed branch and bound type algorithm attains finite...
  • CVRPSEP

  • Referenced in 41 articles [sw11809]
  • 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...
  • Spheno

  • Referenced in 62 articles [sw09544]
  • used to calculate decay widths and branching ratios of supersymmetric particles as well...
  • SYMPHONY

  • Referenced in 38 articles [sw04718]
  • Branch, cut, and price (BCP) is an LP-based branch and bound technique for solving ... SYMPHONY performs all the normal functions of branch and cut – tree management, LP solution...
  • bc-prod

  • Referenced in 43 articles [sw10663]
  • prod: a specialized branch-and-cut system for lot-sizing problems. bc-prod ... then solved by the XPRESS-MP branch-and-bound system including lot-sizing specific preprocessing...
  • LIMbook

  • Referenced in 59 articles [sw14520]
  • within the framework of geometric integration, a branch of numerical analysis that devises numerical methods...
  • ECOS

  • Referenced in 58 articles [sw12123]
  • integer variables by employing a simple branch and bound technique. ECOS is written entirely...
  • SLEEF

  • Referenced in 41 articles [sw05889]
  • programming techniques like table look-ups, conditional branches, scattering/gathering operations can easily slow down ... gathering into SIMD registers, or conditional branches using SSE2, AVX, AVX2, FMA4, or ARM NEON...
  • PAUP*

  • Referenced in 57 articles [sw07834]
  • predecessors. In addition, the speed of the branch-and-bound algorithm has been enhanced...
  • WASP

  • Referenced in 56 articles [sw09565]
  • techniques for stable model checking. Concerning the branching heuristics, WASP adopts the BerkMin criterion hybridized...
  • Bison

  • Referenced in 40 articles [sw17681]
  • known meta-strategy tabu search and a branch and bound procedure based on known ... bound arguments and a new branching scheme. Computational results indicate that BISON is very effective...
  • XDuce

  • Referenced in 54 articles [sw12436]
  • regular expression pattern matching, integrating conditional branching, tag checking, and subtree extraction, as well...