
Traces
 Referenced in 189 articles
[sw07823]
 Search Space Contraction in Canonical Labeling of Graphs. The individualizationrefinement 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 realvalued, discrete...

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

MaudeNPA
 Referenced in 35 articles
[sw12159]
 State space reduction in the MaudeNRL protocol analyzer. The MaudeNRL 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]
 secondorder 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...

NPSPEC
 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 searchspace of the SAT solver, by providing learned ... that encode theoryspecific 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...