• SatEx

  • Referenced in 15 articles [sw01588]
  • SatEx: A web-based framework for SAT experimentation...
  • SATLIB

  • Referenced in 57 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers...
  • AS 99

  • Referenced in 15 articles [sw03870]
  • Algorithm AS 99. Fitting Johnson curves by moments...
  • UCI-ml

  • Referenced in 2918 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2498 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • CSPLib

  • Referenced in 91 articles [sw04150]
  • CSPLib is a library of test problems for...
  • OMNet++

  • Referenced in 65 articles [sw04170]
  • OMNeT++ is an extensible, modular, component-based C...
  • CAViaR

  • Referenced in 133 articles [sw04424]
  • CAViaR: Conditional autoregressive value at risk by regression...
  • SATO

  • Referenced in 195 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • MASS (R)

  • Referenced in 261 articles [sw04479]
  • R package MASS: Support Functions and Datasets for...
  • nlme

  • Referenced in 109 articles [sw04481]
  • R package nlme: Linear and Nonlinear Mixed Effects...
  • WinBUGS

  • Referenced in 608 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...
  • fBasics

  • Referenced in 14 articles [sw04508]
  • fBasics: Rmetrics - Markets and Basic Statistics , Environment for...
  • KernSmooth

  • Referenced in 878 articles [sw04586]
  • Kernel smoothing refers to a general methodology for...
  • SATIRE

  • Referenced in 38 articles [sw04648]
  • SATIRE: A new incremental satisfiability engine. We introduce...
  • STABLE

  • Referenced in 102 articles [sw04843]
  • The program calculates the density (pdf), cumulative distribution...
  • wavethresh

  • Referenced in 127 articles [sw06084]
  • R package wavethresh: Wavelets statistics and transforms , Performs...
  • SAS

  • Referenced in 1358 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • LISREL

  • Referenced in 300 articles [sw06514]
  • During the last thirty eight years, the LISREL...