• SDPT3

  • Referenced in 630 articles [sw04009]
  • structure are exploited. We also exploit low-rank 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, full-rank linear least squares problems, orthogonal and generalized orthogonal factorizations ... codes are provided for out-of-core solvers for LU, Cholesky, and QR, the matrix...
  • LOBPCG

  • Referenced in 31 articles [sw09638]
  • develop a low-rank variant of LOBPCG, a classical preconditioned eigenvalue solver. We also show ... MALS with LOBPCG and with our low-rank 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 Cauchy-like ... matrix and r its displacement rank. The solver is based on the application...
  • DSDP5

  • Referenced in 27 articles [sw04411]
  • into an efficient and robust general-purpose 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 low-rank structured factorization...
  • ManySAT

  • Referenced in 32 articles [sw00544]
  • contrasts with most of the parallel SAT solvers generally designed using the divide-and-conquer ... 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 low-rank 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 ... well-known commercial and open-source 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 rank-deficient. 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 rank-1 tensor approximation problems constructed...
  • MapleAmpharos

  • Referenced in 1 article [sw25920]
  • present a divide-and-conquer SAT solver, MapleAmpharos, that uses a novel propagation-rate ... heuristic. The key idea is that we rank variables based on the ratio ... worker conflict-driven clause-learning solvers to the number of times they are branched ... ranked first. The intuition here is that, in the context of divide-and-conquer 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]. Low-rank 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 Boundary-Element Method Solver Suitable for Bio-MEMS and Biomolecule Simulation ... octree and uses sampling to calculate low-rank 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 state-of-the-art solvers for this class of problems. We also...