
FastFDs
 Referenced in 11 articles
[sw01613]
 driven (DFHD) search for finding minimal covers of hypergraphs. The technique of reducing ... problem of finding minimal covers of hypergraphs was applied previously by Lopes ... Miner employs a levelwise search for minimal covers, whereas FastFDs uses DFHD search. We report...

Parkway
 Referenced in 7 articles
[sw12863]
 with the best serial hypergraph partitioners and degrades only minimally as more processors are used...

UMPa
 Referenced in 5 articles
[sw14123]
 level partitioner for communication minimization We propose a directed hypergraph model and a refinement heuristic ... achieve load balance and minimize the maximum data sent by a processing unit. We also...

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

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

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

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

HSL
 Referenced in 279 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 394 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Macaulay2
 Referenced in 1904 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

polymake
 Referenced in 314 articles
[sw00724]
 polymake is open source software for research in...