• Traces

  • Referenced in 189 articles [sw07823]
  • Search Space Contraction in Canonical Labeling of Graphs. The individualization-refinement paradigm for computing ... reducing the size of the associated search space is introduced, and a new tool, named ... huge reduction in the search space, thereby making computation feasible for several classes of graphs...
  • VAMPIRE

  • Referenced in 264 articles [sw02918]
  • techniques are used for pruning the search space: subsumption, tautology deletion (optionally modulo commutativity), subsumption...
  • Manopt

  • Referenced in 124 articles [sw08493]
  • where the smooth geometry of the search space can be leveraged to design efficient numerical...
  • GWO

  • Referenced in 112 articles [sw40816]
  • applicable to challenging problems with unknown search spaces...
  • ParEGO

  • Referenced in 68 articles [sw10968]
  • uses a binary search tree to divide up the decision space, and tries to sample ... Gaussian processes surrogate model of the search landscape after every function evaluation, which it uses ... Results indicate that the two algorithms search the space in very different ways and this...
  • Hyperopt

  • Referenced in 49 articles [sw19219]
  • serial and parallel optimization over awkward search spaces, which may include real-valued, discrete...
  • PSATO

  • Referenced in 43 articles [sw02635]
  • processes explore disjoint portions of the search space. In this way, we use parallelism without...
  • Maude-NPA

  • Referenced in 35 articles [sw12159]
  • State space reduction in the Maude-NRL protocol analyzer. The Maude-NRL Protocol Analyzer (Maude ... original NPA, looks for attacks by searching backwards from an insecure attack state, and assumes ... develop ways of reducing the search space and avoiding infinite search paths. In order ... need not only to speed up the search, but should not violate completeness, so that...
  • BIDE

  • Referenced in 36 articles [sw39999]
  • inherently costly in both runtime and space usage when the support threshold ... called bidirectional extension, and prunes the search space more deeply compared to the previous algorithms...
  • SSA

  • Referenced in 34 articles [sw42107]
  • world problems with difficult and unknown search spaces...
  • Korat

  • Referenced in 33 articles [sw07259]
  • true. Korat exhaustively explores the bounded input space of the predicate but does so efficiently ... executions and pruning large portions of the search space.This paper illustrates the use of Korat ... from Java predicates, even when the search space for inputs is very large. This paper...
  • JuliBootS

  • Referenced in 32 articles [sw40366]
  • precision linear programming problems with continuous search spaces. Current supported features include conformal dimension bounds...
  • Alloy

  • Referenced in 30 articles [sw01247]
  • powerful enough to handle a search space of 2 100 or more. Alloy has been...
  • HdBCS

  • Referenced in 81 articles [sw29884]
  • efficient stochastic search algorithm for for exploring spaces of Gaussian Graphical Models...
  • SDPT3

  • Referenced in 707 articles [sw04009]
  • second-order cones, nonnegative orthants and Euclidean spaces; and whose objective function ... with either the HKM or the NT search direction. The basic code is written...
  • SOLAR

  • Referenced in 20 articles [sw00888]
  • prune away redundant branches of the search space. This paper introduces some...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • allow to limit the size of search spaces in order to obtain reasonably efficient construction...
  • GOLEM

  • Referenced in 53 articles [sw24695]
  • this efficiency because it avoids searching a large hypothesis space for consistent hypotheses...
  • ModLeanTAP

  • Referenced in 19 articles [sw12368]
  • leanTAP. ModLeanTAP Version 2.0 includes additional search space restrictions and fairness strategies, giving a decision...
  • MathCheck

  • Referenced in 13 articles [sw13642]
  • system can help cut down the search-space of the SAT solver, by providing learned ... that encode theory-specific lemmas, as it searches for a counterexample to the input conjecture ... show an exponential reduction in search space via the SAT+CAS combination relative to finite...