
SDPT3
 Referenced in 630 articles
[sw04009]
 structure are exploited. We also exploit lowrank structures in the constraint matrices associated ... coding of problem data for our SQLP solver. Various techniques to improve the efficiency...

ScaLAPACK
 Referenced in 404 articles
[sw00830]
 Cholesky factorization, matrix inversion, fullrank linear least squares problems, orthogonal and generalized orthogonal factorizations ... codes are provided for outofcore solvers for LU, Cholesky, and QR, the matrix...

LOBPCG
 Referenced in 31 articles
[sw09638]
 develop a lowrank variant of LOBPCG, a classical preconditioned eigenvalue solver. We also show ... MALS with LOBPCG and with our lowrank variant is proposed. A number of numerical...

na31
 Referenced in 9 articles
[sw11500]
 with displacement structure. We describe a fast solver for linear systems with reconstructible Cauchylike ... matrix and r its displacement rank. The solver is based on the application...

DSDP5
 Referenced in 27 articles
[sw04411]
 into an efficient and robust generalpurpose solver for semidefinite programming. Its features include ... rank data structures, extensibility that allows applications to customize the solver and improve its performance...

STRUMPACK
 Referenced in 30 articles
[sw17483]
 linear solvers and preconditioner for both dense and sparse systems using lowrank structured factorization...

ManySAT
 Referenced in 32 articles
[sw00544]
 contrasts with most of the parallel SAT solvers generally designed using the divideandconquer ... many industrial SAT instances, and the first rank obtained by ManySAT in the parallel track...

CCASat
 Referenced in 11 articles
[sw12924]
 local search SAT solver called CCASat, which was ranked first in the random track...

NeNMF
 Referenced in 30 articles
[sw17586]
 matrix by the product of two lowrank nonnegative matrix factors. It has been widely ... computer vision, and data mining. Traditional NMF solvers include the multiplicative update rule...

preCICE
 Referenced in 17 articles
[sw08713]
 Partitioned means that preCICE couples existing programs (solvers) capable of simulating a subpart ... proven scalability on 10000s of MPI Ranks. The software offers methods for transient equation coupling ... wellknown commercial and opensource solvers, such as OpenFOAM, deal.II, FEniCS, SU2, or CalculiX...

fastFM
 Referenced in 3 articles
[sw17843]
 easy access to many solvers and supports regression, classification and ranking tasks. Such an implementation...

LSRN
 Referenced in 20 articles
[sw09555]
 describe a parallel iterative least squares solver named LSRN that is based on random normal ... where A may be rankdeficient. Tikhonov regularization may also be included. Since ... DGELSD and a fast randomized least squares solver called Blendenpik on large dense problems...

xgboost
 Referenced in 13 articles
[sw15875]
 interface. The package includes efficient linear model solver and tree learning algorithms. The package ... various objective functions, including regression, classification and ranking. The package is made to be extensible...

SDPNAL+
 Referenced in 40 articles
[sw13239]
 alternating direction method of multipliers based solver called SDPAD by Z. Wen et al. [Math ... solve large scale SDPs arising from rank1 tensor approximation problems constructed...

MapleAmpharos
 Referenced in 1 article
[sw25920]
 present a divideandconquer SAT solver, MapleAmpharos, that uses a novel propagationrate ... heuristic. The key idea is that we rank variables based on the ratio ... worker conflictdriven clauselearning solvers to the number of times they are branched ... ranked first. The intuition here is that, in the context of divideandconquer solvers...

HODLRlib
 Referenced in 3 articles
[sw32777]
 optimized and the running time of the solver is now massively (a few orders ... original articles[1][2]. Lowrank approximation of the appropriate blocks are obtained using ... divided based on a KDTree. The solver is fairly general, works with minimal restrictions...

VCWC
 Referenced in 1 article
[sw08837]
 platform does not provide support for generic solver input and has no scripting support, while ... benchmark statistics and ranking can only be computed after all solver runs for all benchmark...

hgm R
 Referenced in 18 articles
[sw08770]
 solving ordinary differential equations and efficient solvers of systems of linear equations ... numerically solve ordinary differential equation of rank 2^20 =20,148,576. We have developed...

FFTSVD
 Referenced in 10 articles
[sw08886]
 FFTSVD: A Fast Multiscale BoundaryElement Method Solver Suitable for BioMEMS and Biomolecule Simulation ... octree and uses sampling to calculate lowrank approximations to dominant source distributions and responses...

IMRO
 Referenced in 7 articles
[sw20465]
 special format of “identity minus rank one” (IMRO) in each iteration. The proposed structure enables ... favorably with other stateoftheart solvers for this class of problems. We also...