
SATenstein
 Referenced in 17 articles
[sw14233]
 SATenstein: automatically building local search SAT solvers from components. Designing highperformance 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 pvalues 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 decisionmaking 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 highdimensional 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 noninteractive 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]
 PoissonBoltzmann 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...

pMEMPSODE
 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 permutationbased 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 permutationbased 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 (SPSAFSR) based on works ... SPSAFSR algorithm searches for a locally optimal set of features that yield the best...

ADOLC
 Referenced in 233 articles
[sw00019]
 ADOLC: 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...