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

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

1 2 3 ... 8 9 10 next

  1. van Bulck, David; Goossens, Dries; Schönberger, Jörn; Guajardo, Mario: RobinX: a three-field classification and unified data format for round-robin sports timetabling (2020)
  2. Huang, Pei; Liu, Minghao; Ge, Cunjing; Ma, Feifei; Zhang, Jian: Investigating the existence of orthogonal golf designs via satisfiability testing (2019)
  3. Ngoko, Yanik; Cérin, Christophe; Trystram, Denis: Solving SAT in a distributed cloud: a portfolio approach (2019)
  4. Cheng, Xi; Zhou, Min; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang: Parallelizing SMT solving: lazy decomposition and conciliation (2018)
  5. Huang, Pei; Ma, Feifei; Ge, Cunjing; Zhang, Jian; Zhang, Hantao: Investigating the existence of large sets of idempotent quasigroups via satisfiability testing (2018)
  6. Marques-Silva, Joao; Malik, Sharad: Propositional SAT solving (2018)
  7. Balyo, Tomáš; Lonsing, Florian: HordeQBF: a modular and massively parallel QBF solver (2016)
  8. Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar: What we can learn from conflicts in propositional satisfiability (2016)
  9. Li, Pingke; Jin, Qingwei: On the resolution of bipolar max-min equations. (2016)
  10. Triska, Markus: The Boolean constraint solver of SWI-Prolog (system description) (2016)
  11. Zhang, Hantao: An experiment with satisfiability modulo SAT (2016)
  12. Biere, Armin; Fröhlich, Andreas: Evaluating CDCL variable scoring schemes (2015)
  13. Hyvärinen, Antti E. J.; Marescotti, Matteo; Sharygina, Natasha: Search-space partitioning for parallelizing SMT solvers (2015)
  14. Ahmed, Tanbir; Kullmann, Oliver; Snevily, Hunter: On the van der Waerden numbers (\mathrmw(2; 3, t)) (2014)
  15. Barrett, Clark; Deters, Morgan; de Moura, Leonardo; Oliveras, Albert; Stump, Aaron: 6 years of SMT-COMP (2013) ioport
  16. Kinyon, Michael; Veroff, Robert; Vojtěchovský, Petr: Loops with abelian inner mapping groups: an application of automated deduction (2013)
  17. Zhang, Hantao; Zhang, Jian: MACE4 and SEM: a comparison of finite model generators (2013)
  18. Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar: Learning from conflicts in propositional satisfiability (2012)
  19. Martins, Ruben; Manquinho, Vasco; Lynce, Inês: An overview of parallel SAT solving (2012)
  20. Triska, Markus; Musliu, Nysret: An improved SAT formulation for the social golfer problem (2012)

1 2 3 ... 8 9 10 next