PSATO a Distributed Propositional Prover and its Application to Quasigroup Problems.
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 master?slave model is used for communication. A simp...
| 发表在: | Journal of symbolic computation. 21, 4-6 (1996). |
|---|---|
| 主要作者: | |
| 格式: | 文件 |
| 语言: | English |