×

PSATO

swMATH ID: 2635
Software Authors: Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang
Description: PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT) 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 simple and affective workload balancing method distributes the workload among workstations. A key property of our method is that the current processes explore disjoint portions of the search space. In this way, we use parallelism without introducing redundant search.
Homepage: http://profs.sci.univr.it/~bonacina/papers/JSC1996psato.pdf
Programming Languages: C
Keywords: propositional satisfiability; PSATO
Related Software: SATO; Chaff; MiniSat; ManySAT; Plingeling; Lingeling; GridSAT; Treengeling; PaMiraXT; DIMACS; PaSAT; PaMira; PaInleSS; PrecoSAT; PicoSAT; ZetaSAT; BerkMin; Walksat; SATzilla; FOCI
Cited in: 41 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
PSATO: A distributed propositional prover and its application to quasigroup problems. Zbl 0863.68013
Zhang, Hantao; Bonacina, Maria Paola; Hsiang, Jieh
1996
all top 5

Cited by 95 Authors

5 Hyvärinen, Antti E. J.
4 Junttila, Tommi A.
4 Niemelä, Ilkka N. F.
3 Bonacina, Maria Paola
3 Schaub, Torsten H.
3 Zhang, Hantao
2 Dequen, Gilles
2 Inoue, Katsumi
2 Jurkowiak, Bernard
2 Li, Chumin
2 Lynce, Inês
2 Meier, Andreas
2 Sorge, Volker
2 Utard, Gil
1 Ahmed, Tanbir
1 Ashar, Pranav
1 Baarir, Souheib
1 Balyo, Tomáš
1 Banbara, Mutsunori
1 Becker, Bernd
1 Blochinger, Wolfgang
1 Cawagas, Raoul E.
1 Cérin, Christophe
1 Cheng, Xi
1 Craven, Robert P. M.
1 Delgrande, James P.
1 Dubois, Olivier
1 Eggers, Andreas
1 Ganai, Malay K.
1 Ganesh, Vijay
1 Gebser, Martin
1 Gressmann, Jean
1 Gupta, Aarti
1 Heule, Marijn J. H.
1 Hsiang, Jieh
1 Huang, Zhuo
1 Janhunen, Tomi
1 Kalinnik, Natalia
1 Kaminski, Roland
1 Kaufmann, Benjamin
1 Kinyon, Michael K.
1 Kochemazov, S. E.
1 Kordon, Fabrice
1 Krajecki, Michaël
1 Küchlin, Wolfgang W.
1 Kullmann, Oliver
1 Kupferschmid, Stefan
1 Le Frioux, Ludovic
1 Lee, Shie-Jue
1 Lewis, Matthew D. T.
1 Lonsing, Florian
1 Manquinho, Vasco M.
1 Marescotti, Matteo
1 Marques-Silva, João P.
1 Martins, Ruben
1 Meel, Kuldeep S.
1 Mercer, Robert E.
1 Nabeshima, Hidetomo
1 Ngoko, Yanik
1 Ostrowski, Max
1 Prevot, Nicolas
1 Sasaura, Yoshito
1 Schneider, Marius Thomas
1 Schubert, Tobias
1 Sergot, Marek J.
1 Sharygina, Natasha
1 Sinz, Carsten
1 Snevily, Hunter S.
1 Soh, Takehide
1 Song, Xiaoyu
1 Soos, Mate
1 Sopena, Julien
1 Sun, Jiaguang
1 Tamura, Naoyuki
1 Teige, Tino
1 Thiele, Sven
1 Tichy, Richard
1 Tompits, Hans
1 Trystram, Denis R.
1 Tsuji, Yumi K.
1 Ueda, Seiji
1 Vallade, Vincent
1 Van Gelder, Allen
1 van Maaren, Hans
1 Vander-Swalmen, Pascal
1 Veroff, Robert
1 Vojtěchovský, Petr
1 Woltran, Stefan
1 Wu, Chih-Hung
1 Xu, Yunqing
1 Yang, Zijiang
1 Zaikin, Oleg Sergeevich
1 Zhang, Jian
1 Zhang, Wenhui
1 Zhou, Min
all top 5

Cited in 13 Serials

3 Journal of Automated Reasoning
3 Journal of Satisfiability, Boolean Modeling and Computation
2 Discrete Applied Mathematics
2 Journal of Symbolic Computation
2 Annals of Mathematics and Artificial Intelligence
1 Artificial Intelligence
1 International Journal of Parallel Programming
1 AI Communications
1 Constraints
1 Optimization Methods & Software
1 Acta Mathematica Sinica. English Series
1 International Journal of Applied Mathematics and Computer Science
1 Fundamenta Informaticae

Cited in 5 Fields

35 Computer science (68-XX)
5 Mathematical logic and foundations (03-XX)
5 Operations research, mathematical programming (90-XX)
3 Combinatorics (05-XX)
2 Group theory and generalizations (20-XX)

Citations by Year