
MUP
 Referenced in 14 articles
[sw11910]
 treewidth of the CNF formula. We provide an empirical evaluation of the algorithm, highlighting...

QBFLIB
 Referenced in 9 articles
[sw09581]
 solvers, and tools related to Quantified Boolean Formula (QBF) satisfiability. QBFLIB is meant ... provide an uniform testbed for the empirical characterization of QBF solvers...

TurbulentSkinFriction
 Referenced in 1 article
[sw19873]
 usually made from formulas that were developed to provide an empirical fit to extensive sets ... been many attempts to make a simple formula which fits the observed data...

NiVER
 Referenced in 16 articles
[sw06958]
 DPLL SAT solver. NiVER is a strictly formula size not increasing resolution based preprocessor ... overhead, the cost of NiVER is insignificant. Empirical results using the state...

TRAMP
 Referenced in 3 articles
[sw08968]
 transferred knowledge as a set of weighted formulas. After that it learns action models ... propositions and the transferred knowledge. We empirically evaluate TRAMP in different settings to see their...

BOXES
 Referenced in 4 articles
[sw21178]
 boxes, i.e., expressible as a propositional formula over upper and lowerbounds constraints. Our implementation ... polynomial in the size of the operands. Empirical evaluation indicates that the performance of Boxes...

HASL
 Referenced in 5 articles
[sw13330]
 powerful means to express sophisticated measures. A formula of HASL consists ... discussion about its expressivity. We also provide empirical evidence obtained through Cosmos, a prototype software...

Shatter
 Referenced in 5 articles
[sw21225]
 This framework was subsequently extended, refined, and empirically shown to yield significant speed ... without affecting the satisfiability of the CNF formula. For symmetry breaking to be effective...

SATGraf
 Referenced in 3 articles
[sw14761]
 structure of a Boolean SAT formula in real time as it is being processed ... solvers, some which we have already empirically verified. SATGraf has enabled us in making ... following empirical observations regarding CDCL solvers: first, we observe that the variable state independent decaying ... communitystructure of input SAT formulas...

CheckCell
 Referenced in 1 article
[sw17739]
 programs in the form of queries or formulas. We present the first data debugging tool ... show that CheckCell is both analytically and empirically fast and effective. We show that...

FLUID
 Referenced in 1 article
[sw19871]
 calculated using a simple gas model, empirical corrections, and an efficient numerical interpolation scheme. FLUID ... based on Lagrange’s three point formula. A set of tables must be generated...

ATLAS
 Referenced in 186 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

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

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

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

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

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

NAG
 Referenced in 312 articles
[sw00610]
 Produced by experts for use in a variety...