• 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...
  • PSI-BLAST

  • 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 ... position-specific score matrix, and searching the database using this matrix. The resulting Position-Specific...
  • Auto-WEKA

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

  • Referenced in 18 articles [sw33039]
  • learn machine learning library, auto-sklearn 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 Horn-clause 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 high-performance 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 state-of-the-art 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 first-order 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 local-search-based 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 well-known 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...