• VAMPIRE

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

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

  • Referenced in 20 articles [sw00888]
  • several methods to prune away redundant branches of the search space. This paper introduces some...
  • Shatter

  • Referenced in 6 articles [sw21225]
  • classes in [1].Symmetries in the search space are broken by adding appropriate symmetry-breaking ... normal form (CNF). The SBPs prune the search space by acting as a filter that ... time savings they yield due to search space pruning. In this paper we present several...
  • SAFARI

  • Referenced in 10 articles [sw28669]
  • quantified variables of invariants to prune the search space efficiently...
  • fCube

  • Referenced in 8 articles [sw11383]
  • optimization techniques that allow to prune the search space acting on different aspects of proof...
  • PMSat

  • Referenced in 4 articles [sw11454]
  • program are described: search modes, search space pruning and share of learnt clauses. An analysis...
  • Korat

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

  • Referenced in 6 articles [sw00938]
  • utilized dynamically to prune the search space. This allows us to address many limitations...
  • BDI-POMDP

  • Referenced in 6 articles [sw03092]
  • team plans to significantly prune the search space of role allocations. Our third key contribution...
  • Gplag

  • Referenced in 7 articles [sw08961]
  • lossy filter is proposed to prune the plagiarism search space. Experiment study shows that GPLAG...
  • Atune-IL

  • Referenced in 3 articles [sw29913]
  • attempt to reduce the large search space before search algorithms are applied; 3) the means ... help an auto-tuner prune the search space before employing search algorithms. In addition, Atune ... corner cases, 99% of the search space could be pruned...
  • NPen++

  • Referenced in 5 articles [sw17459]
  • proposed tree search and pruning technique reduces the search space considerably without loosing too much...
  • siEDM

  • Referenced in 3 articles [sw28064]
  • distance with moves (siEDM)}, for indexing and searching strings with EDM. The siEDM algorithm builds ... exact EDM. siEDM efficiently prunes the space for searching query strings by the proposed method...
  • IncMaxCLQ

  • Referenced in 1 article [sw21468]
  • upper bound tight enough for pruning search space. We thus propose an incremental upper bound...
  • BiGGER

  • Referenced in 2 articles [sw10909]
  • effort in current bioinformatics. BiGGER prunes the search space by maintaining bounds consistency on interval...
  • Z3str2

  • Referenced in 3 articles [sw30520]
  • cases of non-termination; (2) pruning of the search space via bi-directional integration between...
  • LEMP

  • Referenced in 4 articles [sw40619]
  • transformation allows LEMP to prune large parts of the search space immediately and to select...
  • BiDAG

  • Referenced in 2 articles [sw31037]
  • DAGs is pruned according to the data. To filter the search space, the algorithm employs...
  • approxBlackhole

  • Referenced in 1 article [sw06906]
  • cost for each candidate pattern. The first pruning scheme is to exploit the concept ... reduce the exponential growth search space. Based on this pruning approach, we develop the gBlackhole...