×

SATO

swMATH ID: 4451
Software Authors: Zhang, H
Description: SATO: A Solver for Propositional Satisfiability: The Davis-Putnam method is one of the major practical methods for the satisfiability (SAT) problem of propositional logic. In the last decade, we developed a very efficient implementation of the Davis-Putnam method called SATO. The efficiency of our programs allowed us to solve over one hundred open quasigroup problems in design theory. We also experimented SATO on networked workstations by using a master-slave model for communication. A simple and effective workload balancing method distributes the workload among workstations.
Homepage: http://www.divms.uiowa.edu/~hzhang/sato/
Keywords: Davis-Putnam method; solver
Related Software: Chaff; BerkMin; PSATO; MiniSat; DIMACS; Walksat; Velev SAT Benchmarks; UnitWalk; ManySAT; PicoSAT; HeerHugo; SatEx; SATIRE; SATLIB; Siege; Lingeling; GridSAT; PBS; zChaff; Smodels
Cited in: 189 Publications
all top 5

Cited by 299 Authors

11 Marques-Silva, João P.
8 Lynce, Inês
7 Giunchiglia, Enrico
7 Niemelä, Ilkka N. F.
7 Tacchella, Armando
7 Van Gelder, Allen
7 Zhang, Hantao
6 Biere, Armin
6 Zhang, Jian
5 Goldberg, Eugene L.
5 Hyvärinen, Antti E. J.
5 Junttila, Tommi A.
5 Kautz, Henry A.
5 Li, Chumin
4 Clarke, Edmund Melson jun.
4 Giunchiglia, Fausto
4 Simon, Laurent S. R.
3 Armando, Alessandro
3 Baptista, Luís
3 Beame, Paul W.
3 Bonacina, Maria Paola
3 Ganai, Malay K.
3 Gupta, Aarti
3 Kullmann, Oliver
3 Le Berre, Daniel
3 Lifschitz, Vladimir
3 Malik, Sharad
3 Marić, Filip
3 Okushi, Fumiaki
3 Sabharwal, Ashish
3 Schaub, Torsten H.
3 Somenzi, Fabio
3 Truszczyński, Mirosław
3 Williams, Poul Frederick
3 Woltran, Stefan
3 Zhang, Lintao
2 Amla, Nina
2 Ashar, Pranav
2 Ayari, Abdelwaheb
2 Basin, David A.
2 Becker, Bernd
2 Brglez, Franc
2 Bruni, Renato
2 Castellini, Claudio
2 Chatalic, Philippe
2 Compagna, Luca
2 de Moura, Leonardo
2 Dequen, Gilles
2 Eén, Niklas
2 Eiter, Thomas
2 Ge, Cunjing
2 Grumberg, Orna
2 Hamadi, Youssef
2 Huang, Pei
2 Huang, Zhuo
2 Jabbour, Said
2 Jin, HoonSang
2 Jurkowiak, Bernard
2 Küchlin, Wolfgang W.
2 Kulikov, Alexander S.
2 Leone, Nicola
2 Li, Xiaoyu
2 Liu, Lengning
2 Ma, Feifei
2 Manyà, Felip
2 Marraro, Laura
2 Massacci, Fabio
2 McMillan, Kenneth L.
2 Meier, Andreas
2 Novikov, Yakov
2 Planes, Jordi
2 Prestwich, Steven D.
2 Saïs, Lakhdar
2 Schuster, Assaf
2 Selman, Bart
2 Shankar, Natarajan
2 Simons, Patrik
2 Sinz, Carsten
2 Sorge, Volker
2 Stallmann, Matthias F. M.
2 Tompits, Hans
2 Triska, Markus
2 Utard, Gil
2 Yadgar, Avi
2 Zhu, Yunshan
1 Abdulla, Parosh Aziz
1 Achlioptas, Dimitris
1 Ahmed, Tanbir
1 Åkesson, Knut
1 Aloul, Fadi A.
1 Alsinet, Teresa
1 Andersen, Henrik Reif
1 Awedh, Mohammad
1 Balyo, Tomáš
1 Banbara, Mutsunori
1 Barrett, Clark W.
1 Bartzis, Constantinos
1 Bauer, Andreas
1 Bjesse, Per
1 Blochinger, Wolfgang
...and 199 more Authors

Citations by Year