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 all top 5 Cited in 36 Serials 11 Discrete Applied Mathematics 11 Journal of Automated Reasoning 10 Annals of Mathematics and Artificial Intelligence 6 Artificial Intelligence 4 Journal of Symbolic Computation 4 Journal of Satisfiability, Boolean Modeling and Computation 3 Constraints 2 International Journal of Parallel Programming 2 Computers & Operations Research 2 Annals of Operations Research 2 European Journal of Operational Research 2 Fundamenta Informaticae 1 Information Processing Letters 1 Journal of the Franklin Institute 1 Kybernetika 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 AI Communications 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Discrete Mathematics and Applications 1 Journal of Global Optimization 1 Discrete Event Dynamic Systems 1 Mathematical Programming. Series A. Series B 1 Formal Methods in System Design 1 The Journal of Artificial Intelligence Research (JAIR) 1 Optimization Methods & Software 1 Journal of Combinatorial Optimization 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Acta Mathematica Sinica. English Series 1 International Journal of Applied Mathematics and Computer Science 1 1 Journal of Software 1 4OR 1 Science in China. Series F 1 Electronic Notes in Theoretical Computer Science 1 Logical Methods in Computer Science all top 5 Cited in 12 Fields 167 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 23 Operations research, mathematical programming (90-XX) 7 Combinatorics (05-XX) 4 Information and communication theory, circuits (94-XX) 2 Group theory and generalizations (20-XX) 2 Statistics (62-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year