Results 21 to 40 of 1563
Sort by:

  • 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...