• SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis-Putnam method is one of the major ... practical methods for the satisfiability (SAT) problem of propositional logic. In the last decade...
  • PSATO

  • Referenced in 41 articles [sw02635]
  • PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT) for networks of workstations. PSATO is based...
  • QUBOS

  • Referenced in 24 articles [sw09580]
  • QUBOS: Deciding quantified Boolean logic using propositional satisfiability solvers. We describe QUBOS (QUantified BOolean Solver ... formulae to a propositional clausal form after which off-the-shelf satisfiability solvers...
  • SATenstein

  • Referenced in 17 articles [sw14233]
  • local search (SLS) solvers for the propositional satisfiability problem (SAT). We first introduce a generalized...
  • VerICS

  • Referenced in 33 articles [sw02011]
  • Timed Automata to the satisfiability problem of propositional formulas (SAT-problem) is used. For proving...
  • Ltur

  • Referenced in 40 articles [sw11689]
  • implementation. Testing for the satisfiability of a Horn expression in propositional calculus is a fundamental...
  • PrecoSAT

  • Referenced in 18 articles [sw07832]
  • problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form...
  • SAT competition

  • Referenced in 8 articles [sw04623]
  • promote new solvers for the propositional satisfiability problem (SAT) as well as to compare them...
  • SymChaff

  • Referenced in 6 articles [sw00938]
  • SymChaff: Exploiting symmetry in a structure-aware satisfiability solve. his article presents ... representing and utilizing problem symmetry in propositional satisfiability algorithms. While many previous approaches have focused...
  • Satallax

  • Referenced in 50 articles [sw06849]
  • search for a proof. Satallax generates propositional clauses corresponding to rules of a complete tableau ... calculus and calls MiniSat periodically to test satisfiability of these clauses. Satallax is implemented...
  • meSAT

  • Referenced in 5 articles [sw29642]
  • Boolean variables is reduction to propositional satisfiability problem (SAT). A number of encodings (e.g., direct...
  • iSat

  • Referenced in 4 articles [sw14762]
  • analyze and find structure in propositional satisfiability problems. iSat offers an interactive shell to control...
  • tts

  • Referenced in 3 articles [sw00985]
  • complete solver for propositional satisfiability...
  • GenericWrapper4AC

  • Referenced in 3 articles [sw38659]
  • artificial intelligence (AI), such as propositional satisfiability solving, AI planning, scheduling, and machine learning...
  • maxino

  • Referenced in 6 articles [sw33093]
  • optimization variant of the satisfiability problem for propositional formulas. Maxino is based...
  • ModGen

  • Referenced in 6 articles [sw21347]
  • ensure that transformed propositional clauses are satisfiable iff the original formulas are. The second module...
  • OptSAT

  • Referenced in 2 articles [sw00656]
  • Solving SAT Related Optimization Problems. Propositional satisfiability (SAT) is one of the most important...
  • HeerHugo

  • Referenced in 18 articles [sw09704]
  • theorem prover that tries to prove (large) propositions a contradiction. Typical examples, in the syntax ... contradiction), p|(q->(abcd<->s)) (satisfiable). The input is put in a file ... such as the maximum number of proposition letters (which has been set to over...
  • KL-ONE

  • Referenced in 40 articles [sw28891]
  • important reasoning problems (like subsumption and satisfiability) in a great variety of description logics ... turned out to be closely related to propositional modal logics and logics of programs (such...
  • TSAT++

  • Referenced in 3 articles [sw21350]
  • problem of determining satisfiability of a propositional combination of T-literals, where ... first-order theory for which a satisfiability procedure for a set of ground atoms...