• UBCSAT

  • Referenced in 40 articles [sw02614]
  • UBCSAT: An implementation and experimentation environment for SLS algorithms...
  • CCLS

  • Referenced in 20 articles [sw36049]
  • efficient approximate methods, mainly stochastic local search (SLS) ones. However, few works exist ... SLS algorithms for weighted MAX-SAT. In this paper, we propose a new heuristic called ... with random walk, we design a simple SLS algorithm dubbed CCLS for weighted ... evaluated against a state-of-the-art SLS solver IRoTS and two state...
  • SATenstein

  • Referenced in 19 articles [sw14233]
  • consider the design of stochastic local search (SLS) solvers for the propositional satisfiability problem ... from or inspired by existing high-performance SLS algorithms for SAT. The parameters of SATenstein ... previous state of the art in SLS algorithms; for many benchmark distributions, our new solvers...
  • CCEHC

  • Referenced in 7 articles [sw36050]
  • have been made on stochastic local search (SLS) for weighted MAX-SAT and PMS, resulting ... several state-of-the-art SLS algorithms CCLS, Dist and DistUP. However, compared ... great progress of SLS on weighted MAX-SAT and PMS, the performance ... SLS on WPMS lags far behind. In this paper, we present a new SLS algorithm...
  • CCAnr

  • Referenced in 4 articles [sw40122]
  • This paper presents a stochastic local search (SLS) solver for SAT named CCAnr, which ... performance on structured instances. Previous two-mode SLS algorithms usually utilize diversifying heuristics such ... performance than other state-of-the-art SLS solvers on structured instances, and its performance ... search mode might be helpful to improve SLS solvers for solving structured SAT instances...
  • EasyAnalyzer

  • Referenced in 3 articles [sw20667]
  • applying software engineering to Stochastic Local Search (SLS) is the principled analysis of the features ... problem instances and the behavior of SLS algorithms, which ‒ because of their stochastic nature ‒ might ... oriented framework for the experimental analysis of SLS algorithms, developed in the C++ language. EasyAnalyzer ... EasyLocal++, a framework for the development of SLS algorithms, in order to provide a unified...
  • NLocalSAT

  • Referenced in 1 article [sw40123]
  • problem is the stochastic local search (SLS). However, in this method, the initialization is assigned ... random manner, which impacts the effectiveness of SLS solvers. To address this problem, we propose ... NLocalSAT. NLocalSAT combines SLS with a solution prediction model, which boosts SLS by changing initialization ... neural network. We evaluated NLocalSAT on five SLS solvers (CCAnr, Sparrow, CPSparrow, YalSAT, and probSAT...
  • SLS

  • Referenced in 1 article [sw05256]
  • tool for handling s-languages. SLS is a joint project between the LaBRI (Laboratoire Bordelais ... Paris-Nord) of the Université Paris 13 . SLS is an experimental tool written in Common...
  • Sparrow2011

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

  • Referenced in 1 article [sw40132]
  • SLS solver CPSparrow: Community-based 3-SAT Formulas with a Predefined Solution. It is crucial ... leading CDCL solver) and CPSparrow (a leading SLS solver), on the generated SAT formulas under...
  • gluHack

  • Referenced in 1 article [sw40133]
  • leading CDCL solver) and CPSparrow (a leading SLS solver), on the generated SAT formulas under...
  • SLSpy

  • Referenced in 1 article [sw41783]
  • with a workflow for System Level Synthesis (SLS), which enables users to easily and freely...
  • Dafny

  • Referenced in 72 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • MaxSolver

  • Referenced in 20 articles [sw01990]
  • Maximum Boolean satisfiability (max-SAT) is the optimization...
  • Plingeling

  • Referenced in 75 articles [sw07091]
  • Lingeling, plingeling, picosat and precosat at sat race...
  • XSB

  • Referenced in 144 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...
  • YalSAT

  • Referenced in 25 articles [sw31644]
  • YalSAT Yet Another Local Search Solver. Around 2012...