Parallel SAT Solving on Peer-to-Peer Desktop Grids

@article{Schulz2010ParallelSS,
  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},
  year={2010},
  pages={314-323}
}
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

Citations

Publications citing this paper.

References

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

Similar Papers

Loading similar papers…