• 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 test-bed 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 14 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 2 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...
  • 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...
  • BOXES

  • Referenced in 3 articles [sw21178]
  • boxes, i.e., expressible as a propositional formula over upper- and lower-bounds constraints. Our implementation ... polynomial in the size of the operands. Empirical evaluation indicates that the performance of Boxes...
  • 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 ... community-structure of input SAT formulas...
  • Shatter

  • Referenced in 4 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...
  • 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 182 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CoCoA

  • Referenced in 489 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • LAPACK

  • Referenced in 1222 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 3966 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 4131 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 7103 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 355 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 285 articles [sw00610]
  • Produced by experts for use in a variety...