• Glucose

  • Referenced in 48 articles [sw07833]
  • Glucose SAT Solver. Glucose is based on a new scoring scheme (well ... clause learning mechanism of so called ”Modern” SAT sovlers (it is based our IJCAI ... competition 09 version of glucose. Solver’s name is a contraction of the concept...
  • sharpSAT

  • Referenced in 27 articles [sw16713]
  • introduce sharpSAT, a new #SAT solver that is based on the well known DPLL algorithm ... techniques from SAT and #SAT solvers. Most importantly, we introduce an entirely new approach ... manner that is well suited for #SAT solving. We show that these techniques are highly ... solver performs significantly better than other #SAT solvers...
  • CryptoMiniSat

  • Referenced in 41 articles [sw10082]
  • feature-set of CryptoMiniSat, a modern SAT Solver that aims to unify the advantages...
  • SatAbs

  • Referenced in 41 articles [sw12804]
  • overcomes these limitations by using a SAT-solver. This allows the model checker to handle...
  • Zchaff2004

  • Referenced in 21 articles [sw01032]
  • recent years. The emergence of efficient SAT solvers which can handle large structured SAT instances ... enabled the use of SAT solvers in diverse domains such as electronic design automation ... development of faster and more robust SAT solvers. In this paper, we describe the popular ... SAT solver zchaff with a focus on recent developments...
  • UnitWalk

  • Referenced in 36 articles [sw00993]
  • implementations of our algorithm with other SAT solvers. We also prove that our algorithm...
  • YalSAT

  • Referenced in 25 articles [sw31644]
  • Local Search Solver. Around 2012 local search solvers became much stronger and were even becoming ... performance in the crafted track of the SAT competition. In particular ideas around ProbSAT showed ... algorithm in our new local search SAT solver YalSAT, which confirmed its effectiveness. We were ... search inprocessing phase in our parallel SAT solver Treengeling, which in turn uses...
  • Pueblo

  • Referenced in 34 articles [sw00743]
  • Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability ... linear programming and pre-processing to CNF SAT, and present a thorough comparison between them ... MiniSAT-based implementation of our solver Pueblo to enable the reader to construct a similar...
  • NiVER

  • Referenced in 19 articles [sw06958]
  • used in SAT solvers. We present a combination of two techniques: we use NiVER ... simplified problem using a DPLL SAT solver. NiVER is a strictly formula size not increasing ... using the state-of-the-art SAT solvers show the usefulness of NiVER. Some instances ... incorporated into all general purpose SAT solvers...
  • Sugar

  • Referenced in 27 articles [sw09758]
  • Sugar is a SAT-based Constraint Solver. Constraint Satisfaction Problem (CSP) is encoded ... solved by an external SAT solver. Sugar also can solve Constraint Optimization Problems...
  • zChaff

  • Referenced in 37 articles [sw04757]
  • solving satisfiability (SAT) problems. It won the Best Complete Solver in both industrial and handmade ... categories in the SAT 2002 Competition, and the Best Complete Solver in the industrial benchmark ... SAT 2004 Competition. It is a popular solver and can be compiled into a linkable...
  • HordeSat

  • Referenced in 15 articles [sw16712]
  • HordeSat: a massively parallel portfolio SAT solver. A simple yet successful approach to parallel satisfiability ... several different (a portfolio of) SAT solvers on the input problem at the same time ... solver finds a solution. The SAT solvers in the portfolio can be instances ... fully distributed portfolio-based SAT solver with a modular design that allows...
  • QMaxSAT

  • Referenced in 19 articles [sw09568]
  • QMaxSAT: A Partial Max-SAT Solver. QMaxSAT is a partial MaxSAT solver based ... SAT solver MiniSat. The solver is available under the MIT licence. QMaxSAT became a weighted...
  • Alcoa

  • Referenced in 28 articles [sw09481]
  • then applying state-of-the-art SAT solvers. It can analyze billions of states...
  • HySAT

  • Referenced in 26 articles [sw01980]
  • DPLL-based pseudo-Boolean SAT solver and a linear programming routine as core engine...
  • PySAT

  • Referenced in 18 articles [sw25459]
  • prototyping with SAT oracles. Boolean satisfiability (SAT) solvers are at the core of efficient approaches ... albeit targeting an NP-complete problem, SAT solvers are increasingly used for tackling problems beyond...
  • MaxSolver

  • Referenced in 20 articles [sw01990]
  • nonlinear programming formulation of max-SAT. The second strategy is an effective lower bound based ... strategies, we develop an exact solver for both max-SAT and weighted ... instances from the max-SAT libraries show that our new solver outperforms ... most of the existing exact max-SAT solvers, with orders of magnitude of improvement...
  • MathCheck

  • Referenced in 13 articles [sw13642]
  • combination of computer algebra systems and SAT solvers. We present a method and an associated ... conflict-driven clause-learning SAT solver. SAT+CAS systems, a la MathCheck, can be used ... efficient search routines of modern SAT solvers, with the expressive power of CAS, thus complementing ... down the search-space of the SAT solver, by providing learned clauses that encode theory...
  • SATenstein

  • Referenced in 19 articles [sw14233]
  • SATenstein: automatically building local search SAT solvers from components. Designing high-performance solvers for computationally ... stochastic local search (SLS) solvers for the propositional satisfiability problem (SAT). We first introduce ... generalized, highly parameterized solver framework, dubbed SATenstein, that includes components drawn from or inspired ... challenging distributions of SAT instances. Our experiments show that SATenstein solvers achieved dramatic performance improvements...
  • AMUSE

  • Referenced in 24 articles [sw11915]
  • learning process” of a modern SAT solver to identify unsatisfiable subformulas rather than search...