• Regina

  • Referenced in 43 articles [sw04862]
  • also supports angle structures, census enumeration, combinatorial recognition of triangulations, and high-level functions such ... sphere recognition, unknot recognition and connected sum decomposition. par This paper brings 3-manifold topologists...
  • SCWRL4

  • Referenced in 7 articles [sw22393]
  • polytopes; 6) a tree decomposition algorithm to solve the combinatorial problem; and 7) optimization...
  • CABOB

  • Referenced in 31 articles [sw17813]
  • algorithm for winner determination in combinatorial auctions. Combinatorial auctions where bidders can bid on bundles ... search algorithm for the problem. It uses decomposition techniques, upper and lower bounding (also across...
  • BDI-POMDP

  • Referenced in 6 articles [sw03092]
  • second key contribution is a novel decomposition technique to further improve RMTDP policy search efficiency ... searching role allocations, there are still combinatorially many role allocations, and evaluating each in RMTDP ... identify the best is extremely difficult. Our decomposition technique exploits the structure...
  • pycombina

  • Referenced in 3 articles [sw38177]
  • pycombina: An Open-Source Tool for Solving Combinatorial Approximation Problems Arising in Mixed-Integer Optimal ... decomposition approach. One stage within this approach is the solution of a so-called Combinatorial ... global optimality. The applicability of these decomposition methods depends strongly on efficient implementations, while many ... variety of additional and complex combinatorial constraints. In this work, we provide a comprehensive introduction...
  • DIFFRAC

  • Referenced in 5 articles [sw23902]
  • function and a convex relaxation of a combinatorial op- timization problem. The large convex optimization ... sequence of lower dimensional singular value decompositions. This framework has several attractive properties: (1) although...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ALPS

  • Referenced in 17 articles [sw00036]
  • This paper describes the design of the Abstract...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 195 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CLIFFORD

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

  • Referenced in 61 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...