• veriSoft

  • Referenced in 92 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...
  • Auto-WEKA

  • Referenced in 37 articles [sw21536]
  • designed to help such users by automatically searching through the joint space of WEKA...
  • PSI-BLAST

  • Referenced in 235 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-sklearn

  • Referenced in 27 articles [sw33039]
  • learn machine learning library, auto-sklearn automatically searches for the right learning algorithm...
  • Gecode

  • Referenced in 82 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 160 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 40 articles [sw03002]
  • gradients are available, for automatic geometry optimization, transition state searches, or reaction path following. Computation...
  • SATenstein

  • Referenced in 19 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...
  • FLANN

  • Referenced in 33 articles [sw15312]
  • best for nearest neighbor search and a system for automatically choosing the best algorithm...
  • AutoGraphiX

  • Referenced in 142 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...
  • AutoAugment

  • Referenced in 9 articles [sw39069]
  • simple procedure called AutoAugment to automatically search for improved data augmentation policies. In our implementation...
  • VAMPIRE

  • Referenced in 258 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 5 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...
  • SMAC

  • Referenced in 80 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...
  • TPS

  • Referenced in 73 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 306 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...
  • Paramils

  • Referenced in 87 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...
  • KLIMT

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

  • Referenced in 44 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...