SATO

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.


References in zbMATH (referenced in 189 articles )

Showing results 1 to 20 of 189.
Sorted by year (citations)

1 2 3 ... 8 9 10 next

  1. Cheng, Xi; Zhou, Min; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang: Parallelizing SMT solving: lazy decomposition and conciliation (2018)
  2. Marques-Silva, Joao; Malik, Sharad: Propositional SAT solving (2018)
  3. Balyo, Tomáš; Lonsing, Florian: Hordeqbf: A modular and massively parallel QBF solver (2016)
  4. Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar: What we can learn from conflicts in propositional satisfiability (2016)
  5. Li, Pingke; Jin, Qingwei: On the resolution of bipolar max-min equations. (2016)
  6. Triska, Markus: The Boolean constraint solver of SWI-prolog (system description) (2016)
  7. Zhang, Hantao: An experiment with satisfiability modulo SAT (2016)
  8. Biere, Armin; Fröhlich, Andreas: Evaluating CDCL variable scoring schemes (2015)
  9. Hyvärinen, Antti E. J.; Marescotti, Matteo; Sharygina, Natasha: Search-space partitioning for parallelizing SMT solvers (2015)
  10. Ahmed, Tanbir; Kullmann, Oliver; Snevily, Hunter: On the van der Waerden numbers $\mathrmw(2; 3, t)$ (2014)
  11. Barrett, Clark; Deters, Morgan; de Moura, Leonardo; Oliveras, Albert; Stump, Aaron: 6 years of SMT-COMP (2013) ioport
  12. Kinyon, Michael; Veroff, Robert; Vojtěchovský, Petr: Loops with abelian inner mapping groups: an application of automated deduction (2013)
  13. Zhang, Hantao; Zhang, Jian: MACE4 and SEM: a comparison of finite model generators (2013)
  14. Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar: Learning from conflicts in propositional satisfiability (2012)
  15. Martins, Ruben; Manquinho, Vasco; Lynce, In^es: An overview of parallel SAT solving (2012)
  16. Triska, Markus; Musliu, Nysret: An improved SAT formulation for the social golfer problem (2012)
  17. Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius: Potassco: the Potsdam answer set solving collection (2011)
  18. González, José A.; Castro, Jordi: A heuristic block coordinate descent approach for controlled tabular adjustment (2011)
  19. Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka: Partitioning search spaces of a randomized search (2011)
  20. Ibaraki, Toshihide; Imamichi, Takashi; Koga, Yuichi; Nagamochi, Hiroshi; Nonobe, Koji; Yagiura, Mutsunori: Efficient branch-and-bound algorithms for weighted MAX-2-SAT (2011)

1 2 3 ... 8 9 10 next