• YalSAT

  • Referenced in 16 articles [sw31644]
  • YalSAT Yet Another Local Search Solver. Around 2012 local search solvers became much stronger ... particular ideas around ProbSAT showed that local search can be competitive on certain hard satisfiable ... ProbSAT algorithm in our new local search SAT solver YalSAT, which confirmed its effectiveness ... were quite surprised that a local search solver was able to solve some...
  • BG-WalkSAT

  • Referenced in 20 articles [sw05048]
  • built on top of the WalkSAT local search algorithm and software (downloaded from Henry Kautz ... learn more about the backbone guided local search method with dynamic noise ratio, take...
  • GESPAR

  • Referenced in 27 articles [sw25722]
  • appropriate basis. We propose a fast local search method for recovering a sparse signal from...
  • WSAT(OIP)

  • Referenced in 25 articles [sw04787]
  • WSAT(OIP) is a domain-independent local search method for linear integer constraints that...
  • LocalSolver

  • Referenced in 15 articles [sw04850]
  • LocalSolver 1.x: A black-box local-search solver for 0-1 programming. This paper ... LocalSolver 1.x, a black-box local-search solver for general 0-1 programming. This ... solver based on efficient and reliable local-search techniques. Started in 2007, the goal...
  • SATenstein

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

  • Referenced in 12 articles [sw12924]
  • Local search for Boolean satisfiability with configuration checking and subscore. This paper presents and analyzes ... efficient local search strategies for the Boolean Satisfiability (SAT) problem. We start by proposing ... local search strategy called configuration checking (CC) for SAT. The CC strategy results ... simple local search algorithm for SAT called Swcc, which shows promising experimental results on random...
  • GOAL

  • Referenced in 13 articles [sw15098]
  • GOAL solver: a hybrid local search based solver for high school timetabling. This work presents ... local search approach to the High School Timetabling Problem. The addressed timetabling model ... based on Simulated Annealing and Iterated Local Search. The developed algorithm was the winner...
  • NuMVC

  • Referenced in 12 articles [sw08219]
  • NuMVC: an efficient local search algorithm for minimum vertex cover The Minimum Vertex Cover ... importance in both theory and application. Local search has proved successful for this problem. However ... state-of-the-art MVC local search algorithms. First, they select a pair of vertices ... used in designing a new MVC local search algorithm, which is referred to as NuMVC...
  • CCLS

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

  • Referenced in 12 articles [sw07570]
  • traditional multistart approach, the local search method is blind to the trajectories of the previous ... local searches. Hence, the algorithm might find the same local minima even if the searches ... objective function by performing local searches near the local minima of a response surface ... types of local solvers: SQP and mesh adaptive direct search (MADS) combined with kriging...
  • LPG

  • Referenced in 12 articles [sw20690]
  • planner based on local search for planning graphs. LPG (Local search for Planning Graphs ... planner based on local search and planning graphs that handles PDDL2.1 domains involving numerical quantities...
  • DFL

  • Referenced in 28 articles [sw05163]
  • discrete ones we employ a local search-type approach. We propose different algorithms which...
  • simannf90

  • Referenced in 118 articles [sw05059]
  • algorithm is essentially an iterative random search procedure with adaptive moves along the coordinate directions ... criterion, thus tending to avoid the first local minima encountered. The new method proved ... Nelder-Mead method and the adaptive random search method of the reviewer), being always able...
  • OscaR

  • Referenced in 15 articles [sw09908]
  • OscaR are: Constraint Programming; Constrained Based Local Search; Linear (Integer) Programming; Discrete Event Simulation; Derivative...
  • BliStr

  • Referenced in 15 articles [sw16818]
  • interleave (i) iterated low-timelimit local search for new strategies on small sets of similar...
  • ChainSAT

  • Referenced in 9 articles [sw09444]
  • study the performance of stochastic local search algorithms for random instances of the K-satisfiability ... 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...
  • GLOPEQ

  • Referenced in 15 articles [sw07709]
  • possible is obtained from local searches, and (ii) it is preferable to verify a globally...
  • QingTing1

  • Referenced in 7 articles [sw04452]
  • local search SAT solver using an effective switching strategy and an efficient unit propagation Advances ... local-search SAT solvers have traditionally been presented in the context of local search solvers ... invoke one of the two local search solvers: WalkSAT or QingTing1. The local search solver ... instances, statistically significant performance evaluation between local search and other state-of-the-art DPLL...
  • NILS

  • Referenced in 7 articles [sw20669]
  • NILS: a Neutrality-based Iterated Local Search and its application to Flowshop Scheduling. This paper ... assigned to numerous solutions from the search space. Many combinatorial optimization problems share this property ... that is generally very inhibiting for local search algorithms. A neutrality-based iterated local search ... solutions compared with a classical iterated local search. Moreover, the tradeoff between the exploitation...