PSATO: a Distributed Propositional Prove
โ
HANTAO ZHANG; MARIA PAOLA BONACINA; JIEH HSIANG
๐
Article
๐
1996
๐
Elsevier Science
๐
English
โ 593 KB
We present a distributed/parallel prover for propositional satisfiability (SAT), called PSATO, for networks of workstations. PSATO is based on the sequential SAT prover SATO, which is an efficient implementation of the Davis-Putnam algorithm. The masterslave model is used for communication. A simple