
TETRAD
 Referenced in 441 articles
[sw12177]
 model. All of its search procedures are ”pointwise consistent”they are guaranteed to converge almost...

GRASP
 Referenced in 133 articles
[sw01094]
 problems using GRASP (greedy randomized adaptive search procedures...

simannf90
 Referenced in 120 articles
[sw05059]
 algorithm is essentially an iterative random search procedure with adaptive moves along the coordinate directions ... NelderMead method and the adaptive random search method of the reviewer), being always able...

COMET
 Referenced in 80 articles
[sw03051]
 expressing and combining constraints and specifying search procedures at a high level of abstraction. Local...

OPL
 Referenced in 34 articles
[sw21239]
 language and the ability to specify search procedures and strategies that are the essence ... facilities available in OPL to specify search procedures. It describes the abstractions ... highlevel constructs to implement traditional search procedures in constraint programming and scheduling...

Paramils
 Referenced in 87 articles
[sw00678]
 review a family of localsearchbased algorithm configuration procedures and present novel techniques...

SHOT
 Referenced in 23 articles
[sw15630]
 found by a simple line search procedure. In this paper it is proven that...

Mace4
 Referenced in 228 articles
[sw06905]
 finder Mace4. Mace4 is a program that searches for finite models of firstorder formulas ... ground clauses with equality. Then, a decision procedure based on ground equational rewriting is applied ... firstorder theorem provers, with the prover searching for proofs and Mace4 looking for countermodels...

LAS
 Referenced in 21 articles
[sw17180]
 analysis of high dimensional data. Biclustering methods search for samplevariable associations in the form ... propose and evaluate a statistically motivated biclustering procedure (LAS) that finds large average submatrices within ... given realvalued data matrix. The procedure operates in an iterativeresidual fashion ... noise sensitivity of the LAS search procedure. These results suggest that LAS is an effective...

SSPMO
 Referenced in 18 articles
[sw07449]
 SSPMO: a scatter tabu search procedure for nonlinear multiobjective optimization We describe the development ... testing of a metaheuristic procedure, based on the scattersearch methodology, for the problem ... objective problems. However, the application of scatter search to multiobjective optimization problems has not been ... literature. We test the proposed procedure on a suite of problems that have been used...

GRASP_QAP
 Referenced in 17 articles
[sw04684]
 distance matrix. A greedy, randomized, adaptive search procedure (GRASP) is used to produce the solutions...

Algorithm 769
 Referenced in 15 articles
[sw13886]
 problem using a greedy randomized adaptive search procedure (GRASP). The design and implementation...

CoCo
 Referenced in 9 articles
[sw25028]
 forward selection and the global search procedure from Edwards & Havránek (1985) is considered. By incremental ... models are found in the global search procedure. In CoCo each of the model searches...

Bison
 Referenced in 40 articles
[sw17681]
 known metastrategy tabu search and a branch and bound procedure based on known...

Algorithm 787
 Referenced in 11 articles
[sw13182]
 problem. A Greedy Randomized Adaptive Search Procedure (GRASP) is used to produce the solutions...

WBMOAIS
 Referenced in 10 articles
[sw17662]
 elite solutions, and a local search procedure is utilized to facilitate the exploitation...

WinGULF
 Referenced in 20 articles
[sw19224]
 package can assist you to generate appropriate search tree with detailed information on subproblems ... rules and branchandbound procedure (with various searching strategies and branching rules) for integer...

INTOPT_90
 Referenced in 306 articles
[sw04705]
 Rigorous global search: continuous problems The monograph gives a survey of interval arithmetic based methods ... constraints (within a box frame). The solution procedures are based on branch and bound, infeasibility ... some new results with respect to zero search. The final chapter about intermediate values...

MleanCoP
 Referenced in 8 articles
[sw21522]
 source code of the core proof search procedure consists only of a few lines...

CLAIRE
 Referenced in 35 articles
[sw02583]
 declarative languages, such as sets, rules and search, into an imperative (functional) language. Although these ... functions (demons that are used through procedural attachment...