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

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

QUBOS
 Referenced in 25 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 offtheshelf satisfiability solvers...

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

VerICS
 Referenced in 35 articles
[sw02011]
 Timed Automata to the satisfiability problem of propositional formulas (SATproblem) 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 21 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 structureaware satisfiability solve. his article presents ... representing and utilizing problem symmetry in propositional satisfiability algorithms. While many previous approaches have focused...

Satallax
 Referenced in 57 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...

PaSAT
 Referenced in 4 articles
[sw41090]
 implementation of a DavisPutnamstyle propositional satisfiability checker incorporating dynamic search space partitioning, intelligent ... speeding up SATchecking of propositional encodings of realworld combinatorial problems. We investigate...

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

maxino
 Referenced in 8 articles
[sw33093]
 optimization variant of the satisfiability problem for propositional formulas. Maxino is based...

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

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...

KLONE
 Referenced in 41 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...