Parallel SAT Solving on Peer-to-Peer Desktop Grids

  title={Parallel SAT Solving on Peer-to-Peer Desktop Grids},
  author={Sven Schulz and Wolfgang Blochinger},
  journal={2010 International Conference on High Performance Computing & Simulation},
Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domain-specific problems inherent to one of the most challenging environments for parallel computing—Peer-to-Peer Desktop Grids. Satciety efficiently addresses issues related to resource volatility and heterogeneity, limited node and network capabilities, as well as non-uniform communication costs. This is achieved through a sophisticated distributed task pool execution model, problem size reduction… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 64 references

Similar Papers

Loading similar papers…