×

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

Citations by Year