• TETRAD

  • Referenced in 395 articles [sw12177]
  • model. All of its search procedures are ”pointwise consistent”--they are guaranteed to converge almost...
  • GRASP

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

  • Referenced in 118 articles [sw05059]
  • algorithm is essentially an iterative random search procedure with adaptive moves along the coordinate directions ... Nelder-Mead method and the adaptive random search method of the reviewer), being always able...
  • COMET

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

  • Referenced in 31 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 ... high-level constructs to implement traditional search procedures in constraint programming and scheduling...
  • Paramils

  • Referenced in 70 articles [sw00678]
  • review a family of local-search-based algorithm configuration procedures and present novel techniques...
  • Mace4

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

  • Referenced in 17 articles [sw07449]
  • SSPMO: a scatter tabu search procedure for non-linear multiobjective optimization We describe the development ... testing of a metaheuristic procedure, based on the scatter-search 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...
  • LAS

  • Referenced in 18 articles [sw17180]
  • analysis of high dimensional data. Biclustering methods search for sample-variable associations in the form ... propose and evaluate a statistically motivated biclustering procedure (LAS) that finds large average submatrices within ... given real-valued data matrix. The procedure operates in an iterative-residual fashion ... noise sensitivity of the LAS search procedure. These results suggest that LAS is an effective...
  • 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 39 articles [sw17681]
  • known meta-strategy 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 9 articles [sw17662]
  • elite solutions, and a local search procedure is utilized to facilitate the exploitation...
  • SHOT

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

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

  • Referenced in 14 articles [sw19224]
  • package can assist you to generate appropriate search tree with detailed information on sub-problems ... rules and branch-and-bound procedure (with various searching strategies and branching rules) for integer...
  • CLAIRE

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

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