PSATO

PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT) for networks of workstations. PSATO is based on the sequential SAT prover SATO, which is an efficient implementation of the Davis-Putnam algorithm. The master-slave model is used for communication. A simple and affective workload balancing method distributes the workload among workstations. A key property of our method is that the current processes explore disjoint portions of the search space. In this way, we use parallelism without introducing redundant search.


References in zbMATH (referenced in 34 articles , 1 standard article )

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

1 2 next

  1. Ahmed, Tanbir; Kullmann, Oliver; Snevily, Hunter: On the van der Waerden numbers $\mathrmw(2; 3, t)$ (2014)
  2. Martins, Ruben; Manquinho, Vasco; Lynce, In^es: An overview of parallel SAT solving (2012)
  3. Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius: Potassco: the Potsdam answer set solving collection (2011)
  4. Hyvärinen, Antti E.J.; Junttila, Tommi; Niemelä, Ilkka: Partitioning search spaces of a randomized search (2011)
  5. Hyvärinen, Antti E.J.; Junttila, Tommi; Niemelä, Ilkka: Partitioning SAT instances for distributed solving (2010)
  6. Schulz, Sven; Blochinger, Wolfgang: Parallel SAT solving on peer-to-peer desktop grids (2010)
  7. Delgrande, James; Schaub, Torsten; Tompits, Hans; Woltran, Stefan: Merging logic programs under answer set semantics (2009)
  8. Eggers, Andreas; Kalinnik, Natalia; Kupferschmid, Stefan; Teige, Tino: Challenges in constraint-based analysis of hybrid systems (2009)
  9. Hyvärinen, Antti E.J.; Junttila, Tommi; Niemelä, Ilkka: Incorporating clause learning in grid-based randomized SAT solving (2009)
  10. Schubert, Tobias; Lewis, Matthew; Becker, Bernd: PaMiraXT: parallel SAT solving with threads and message passing (2009)
  11. Vander-Swalmen, Pascal; Dequen, Gilles; Krajecki, Michaël: A collaborative approach for multi-threaded SAT solving (2009)
  12. Heule, Marijn J.H.; van Maaren, Hans: Parallel SAT solving using bit-level operations (2008)
  13. Hyvärinen, Antti E.J.; Junttila, Tommi; Niemelä, Ilkka: Strategies for solving SAT in grids by randomized search (2008)
  14. Ganai, Malay K.; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav: Efficient distributed SAT and sAT-based distributed bounded model checking (2006)
  15. Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki: A competitive and cooperative approach to propositional satisfiability (2006)
  16. Bonacina, Maria Paola: Towards a unified model of search in theorem-proving: subgoal-reduction strategies (2005)
  17. Feldman, Yulik; Dershowitz, Nachum; Hanna, Ziyad: Parallel multithreaded satisfiability solver: Design and implementation. (2005)
  18. Gressmann, Jean; Janhunen, Tomi; Mercer, Robert E.; Schaub, Torsten; Thiele, Sven; Tichy, Richard: PLATYPUS: A platform for distributed answer set solving (2005)
  19. Jurkowiak, Bernard; Li, Chu Min; Utard, Gil: A parallelization scheme based on work stealing for a class of SAT solvers (2005)
  20. Meier, Andreas; Sorge, Volker: Applying SAT solving in classification of finite algebras (2005)

1 2 next