• Chaff

  • Referenced in 542 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability is probably the most studied of combinatorial ... search - especially a particularly efficient implementation of Boolean constraint propagation (BCP) and a novel...
  • Walksat

  • Referenced in 199 articles [sw04328]
  • local search algorithms to solve Boolean satisfiability problems. Both algorithms work on formulae that...
  • Quaffle

  • Referenced in 59 articles [sw07278]
  • Conflicts And Satisfaction in Quantified Boolean Satisfiability Solver”, Proceedings of 8th International Conference on Principles ... Conflict Driven Learning in a Quantified Boolean Satisfiability Solver”, Proceedings of International Conference on Computer...
  • MaxSolver

  • Referenced in 20 articles [sw01990]
  • Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which ... sought to satisfy the maximum number of clauses in a Boolean formula. A branch...
  • QUBE

  • Referenced in 27 articles [sw11381]
  • QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability. Deciding the satisfiability of a Quantified ... Boolean Formula (QBF) is an important research issue in Artificial Intelligence. Many reasoning tasks involving ... mapped into the problem of deciding the satisfiability of a QBF. In this paper...
  • RSat

  • Referenced in 21 articles [sw13117]
  • RSat is a complete Boolean satisfiability solver with an exhaustive search interface for applications such...
  • Zchaff2004

  • Referenced in 21 articles [sw01032]
  • Boolean Satisfiability Problem (SAT) is a well known NP-complete problem. While its complexity remains...
  • Localizer

  • Referenced in 19 articles [sw21238]
  • scientific papers. Experimental results on Boolean satisfiability graph coloring, graph partitioning, and job-shop scheduling...
  • Reveal

  • Referenced in 19 articles [sw00801]
  • conflict-based learning in modern Boolean satisfiability solvers. The abstraction/refinement process is iterated until...
  • UnitWalk

  • Referenced in 34 articles [sw00993]
  • algorithm for SAT, i.e., the satisfiability problem for Boolean formulas in conjunctive normal form. Despite...
  • QUBOS

  • Referenced in 24 articles [sw09580]
  • QUBOS: Deciding quantified Boolean logic using propositional satisfiability solvers. We describe QUBOS (QUantified BOolean Solver ... decision procedure for quantified Boolean logic. The procedure is based on nonclausal simplification techniques that ... clausal form after which off-the-shelf satisfiability solvers can be employed. We show that...
  • QBFLIB

  • Referenced in 13 articles [sw09581]
  • Quantified Boolean formulas satisfiability library (QBFLIB). QBFLIB is a collection of instances, solvers, and tools ... related to Quantified Boolean Formula (QBF) satisfiability. QBFLIB is meant as a service...
  • ZetaSAT

  • Referenced in 7 articles [sw11459]
  • ZetaSAT – Boolean satisfiability solving on desktop grids. ZetaSAT is a research effort to enable efficient ... parallel Boolean satisfiability (SAT) solving on the Desktop Grid. ZetaSAT is based on the Desktop...
  • CCASat

  • Referenced in 6 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...
  • Shatter

  • Referenced in 5 articles [sw21225]
  • Shatter: efficient symmetry-breaking for boolean satisfiability. Boolean satisfiability (SAT) solvers have experienced dramatic improvements ... work pointed out that symmetries in the Boolean search space are often to blame ... regions of the space without affecting the satisfiability of the CNF formula. For symmetry breaking...
  • Saturn

  • Referenced in 8 articles [sw01297]
  • detection Saturn is a Boolean satisfiability (SAT) based framework for static bug detection. Saturn targets...
  • EVC

  • Referenced in 8 articles [sw13374]
  • then be evaluated by any Boolean satisfiability (SAT) procedure. EVC has been used...
  • clasp

  • Referenced in 78 articles [sw07095]
  • techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict ... technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp...
  • SATGraf

  • Referenced in 4 articles [sw14761]
  • community structure of real-world Boolean satisfiability (SAT) instances and their evolution during solving. Such...