
Regina
 Referenced in 43 articles
[sw04862]
 also supports angle structures, census enumeration, combinatorial recognition of triangulations, and highlevel functions such ... sphere recognition, unknot recognition and connected sum decomposition. par This paper brings 3manifold 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...

BDIPOMDP
 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 OpenSource Tool for Solving Combinatorial Approximation Problems Arising in MixedInteger Optimal ... decomposition approach. One stage within this approach is the solution of a socalled 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...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: 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...

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