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 186 articles )

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

1 2 3 ... 8 9 10 next

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

1 2 3 ... 8 9 10 next