
SatEx
 Referenced in 15 articles
[sw01588]
 SatEx: A webbased 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...

UCIml
 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, componentbased 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...

QingTing1
 Referenced in 7 articles
[sw04452]
 A local search SAT solver using an effective...

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