• SATenstein

  • Referenced in 17 articles [sw14233]
  • SATenstein: automatically building local search SAT solvers from components. Designing high-performance solvers for computationally ... work, we consider the design of stochastic local search (SLS) solvers for the propositional satisfiability...
  • CCLS

  • Referenced in 14 articles [sw36049]
  • CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. The maximum satisfiability ... calls for efficient approximate methods, mainly stochastic local search (SLS) ones. However, few works exist...
  • ChainSAT

  • Referenced in 8 articles [sw09444]
  • problems. We study the performance of stochastic local search algorithms for random instances ... problem. We present a stochastic local search algorithm, ChainSAT, which moves in the energy landscape ... algorithm gets trapped into the first local energy minimum it encounters, yet no such minima ... solution space as accessed by stochastic local search algorithms...
  • EasyAnalyzer

  • Referenced in 3 articles [sw20667]
  • Framework for the Experimental Analysis of Stochastic Local Search Algorithms. One of the aspects ... applying software engineering to Stochastic Local Search (SLS) is the principled analysis of the features ... algorithms, which ‒ because of their stochastic nature ‒ might need sophisticated statistical tools. In this paper...
  • DAOOPT

  • Referenced in 3 articles [sw21189]
  • search to quickly find initial solution. stochastic local search to quickly find initial solution...
  • CCEHC

  • Referenced in 3 articles [sw36050]
  • CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability. Weighted maximum satisfiability ... great breakthroughs have been made on stochastic local search (SLS) for weighted...
  • twilight

  • Referenced in 9 articles [sw06103]
  • resulting curve of p-values versus local false discovery rate offers an insight into ... Function twilight performs a stochastic downhill search to estimate local false discovery rates and effect...
  • Sparrow2011

  • Referenced in 2 articles [sw12927]
  • SPARROW is a stochastic local search (SLS) solver for SAT formulae in CNF format...
  • TWILIGHT

  • Referenced in 9 articles [sw06788]
  • Stochastic Downhill Search Algorithm for Estimating the Local False Discovery Rate Screening for differential gene...
  • POMDPS

  • Referenced in 35 articles [sw03055]
  • sequential decision-making under uncertainty in stochastic domains. However, solving a POMDP is often intractable ... alleviate the computational complexity by computing good local policies at each decision step during ... Online algorithms generally consist of a lookahead search to find the best action to execute...
  • DDMOA2

  • Referenced in 1 article [sw11882]
  • operator, which combines the traditional local search and stochastic search techniques. To improve efficiency, when ... objectives. Furthermore, in order to increase the search pressure in high-dimensional objective space ... descent directions found for leaders during local search. The performance of the proposed approach...
  • PANMIN

  • Referenced in 4 articles [sw04337]
  • variety of options for the local search strategy We present two sequential and one parallel ... global optimization codes, that belong to the stochastic class, and an interface routine that enables ... Merlin/MCL environment as a non-interactive local optimizer. This interface proved extremely important, since ... flexibility, effectiveness and robustness to the local search task that is in turn employed...
  • TINKER

  • Referenced in 10 articles [sw04095]
  • Poisson-Boltzmann calculations, efficient truncated Newton (TNCG) local optimization, surface areas and volumes with derivatives ... step integration for molecular dynamics, velocity Verlet stochastic dynamics, pairwise neighbor lists and splined spherical ... reaction path algorithm, our potential smoothing and search (PSS) methods for global optimization, Monte Carlo...
  • p-MEMPSODE

  • Referenced in 1 article [sw18235]
  • stochastic algorithms, namely Particle Swarm Optimization and Differential Evolution, with two efficient and parallelizable local ... search procedures. The sequential version of the algorithm was first introduced as MEMPSODE (MEMetic Particle...
  • COCQPSO

  • Referenced in 1 article [sw10247]
  • particle swarm optimization (COCQPSO) to solve the stochastic problem. The algorithm employs a novel probability ... well as a permutation-based local search method. We are setting the parameters of COCQPSO...
  • FCOCQPSO

  • Referenced in 1 article [sw10260]
  • particle swarm optimization (COCQPSO) to solve the stochastic problem. The algorithm employs a novel probability ... well as a permutation-based local search method. We are setting the parameters of COCQPSO...
  • spFSR

  • Referenced in 1 article [sw32020]
  • feature selection and ranking via simultaneous perturbation stochastic approximation (SPSA-FSR) based on works ... SPSA-FSR algorithm searches for a locally optimal set of features that yield the best...
  • ADOL-C

  • Referenced in 233 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 655 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 311 articles [sw00066]
  • BARON is a computational system for solving nonconvex...