• NLocalSAT

  • Referenced in 1 article [sw40123]
  • NLocalSAT: Boosting Local Search with Solution Prediction. The Boolean satisfiability problem (SAT) is a famous ... solvers. To address this problem, we propose NLocalSAT. NLocalSAT combines SLS with a solution prediction ... assignments with a neural network. We evaluated NLocalSAT on five SLS solvers (CCAnr, Sparrow, CPSparrow ... experimental results show that solvers with NLocalSAT achieve 27%   62% improvement over the original...
  • Dafny

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

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

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

  • Referenced in 4 articles [sw40122]
  • CCAnr: a configuration checking based local search solver...
  • probSAT

  • Referenced in 1 article [sw40131]
  • The probSAT SAT Solver: An efficient implementation of...
  • CPSparrow

  • Referenced in 1 article [sw40132]
  • SLS solver CPSparrow: Community-based 3-SAT Formulas...
  • gluHack

  • Referenced in 1 article [sw40133]
  • CDCL solver gluHack: Community-based 3-SAT Formulas...