
veriSoft
 Referenced in 91 articles
[sw01489]
 VeriSoft automatically searches for coordination problems (deadlocks, etc.) and assertion violations in a software system ... interactions of all its components. It integrates automatic test generation, execution and evaluation...

PSIBLAST
 Referenced in 229 articles
[sw17324]
 BLAST programs are widely used tools for searching protein and DNA databases for sequence similarities ... addition, a method is introduced for automatically combining statistically significant alignments produced by BLAST into ... positionspecific score matrix, and searching the database using this matrix. The resulting PositionSpecific...

AutoWEKA
 Referenced in 25 articles
[sw21536]
 designed to help such users by automatically searching through the joint space of WEKA...

autosklearn
 Referenced in 18 articles
[sw33039]
 learn machine learning library, autosklearn automatically searches for the right learning algorithm...

Gecode
 Referenced in 64 articles
[sw06272]
 failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); MiniZinc ... today’s commodity hardware for parallel search, giving an already efficient base system an additional...

GHC
 Referenced in 43 articles
[sw23765]
 showed how to automatically compile a Hornclause program for exhaustive search into...

ETPS
 Referenced in 156 articles
[sw06302]
 mixture of these modes, though in automatic mode it is quite primitive in certain respects ... dealing with equality. It has facilities for searching for expansion proofs, translating these into natural...

GAMESS
 Referenced in 38 articles
[sw03002]
 gradients are available, for automatic geometry optimization, transition state searches, or reaction path following. Computation...

SATenstein
 Referenced in 17 articles
[sw14233]
 SATenstein: automatically building local search SAT solvers from components. Designing highperformance solvers for computationally ... automatic methods. In this work, we consider the design of stochastic local search (SLS) solvers ... solvers also significantly outperformed all automatically tuned variants of previous stateoftheart algorithms...

AutoGraphiX
 Referenced in 134 articles
[sw06137]
 main purpose of AGX is to search for extremal graphs, i.e., graphs minimizing of maximizing ... extracted and conjectures may be generated automatically or found by the researcher...

FLANN
 Referenced in 27 articles
[sw15312]
 best for nearest neighbor search and a system for automatically choosing the best algorithm...

VAMPIRE
 Referenced in 239 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem prover for firstorder classical logic ... simplification techniques are used for pruning the search space: subsumption, tautology deletion (optionally modulo commutativity...

CP Optimizer
 Referenced in 4 articles
[sw38499]
 relaxation (TLR) used to guide the automatic search when solving scheduling problems that involve temporal ... describe its integration in the automatic search of CP Optimizer, and present the relaxation...

TPS
 Referenced in 71 articles
[sw00973]
 mixture of these modes, though in automatic mode it is quite primitive in certain respects ... dealing with equality. It has facilities for searching for expansion proofs, translating these into natural...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 Rigorous global search: continuous problems The monograph gives a survey of interval arithmetic based methods ... introduces interval arithmetic, solving linear interval equations, automatic differentiation and code list generation, interval Newton ... others, the generation of code lists and automatic differentiation. The chapter on preconditioning (32 pages ... some new results with respect to zero search. The final chapter about intermediate values...

SMAC
 Referenced in 58 articles
[sw27215]
 some other process we can run automatically, or a function we can evaluate, such ... helped us speed up both local search and tree search algorithms by orders of magnitude...

Paramils
 Referenced in 72 articles
[sw00678]
 application of algorithms. We describe an automatic framework for this algorithm configuration problem. More formally ... parameters. We review a family of localsearchbased algorithm configuration procedures and present novel ... knowledge, the first published work on automatically configuring the CPLEX mixed integer programming solver...

VisualSEEk
 Referenced in 89 articles
[sw13846]
 describe a highly functional prototype system for searching by visual features in an image database ... regions. Prior to the queries, the system automatically extracts and indexes salient color regions from...

PcGets
 Referenced in 43 articles
[sw01937]
 Suppl. 1, 821–838 (2003)] proposed an automatic predictive modeling tool called relevant transformation ... transformations of the predictors of interest), selective search within the range of possible models, control ... RETINA with PcGets, a wellknown automatic modeling method proposed by D. Hendry. We point...

KLIMT
 Referenced in 4 articles
[sw11027]
 showed that by combining the Sequential Automatic Search of Subset of Classifiers (SASSC) algorithm with...