A short overview on modern parallel SAT-solvers

@article{Holldobler2011ASO,
  title={A short overview on modern parallel SAT-solvers},
  author={Steffen Holldobler and Norbert Manthey and Văn Hầu Nguỹ{\^e}n and Julian Stecklina and Peter Steinke},
  journal={2011 International Conference on Advanced Computer Science and Information Systems},
  year={2011},
  pages={201-206}
}
This paper surveys modern parallel SAT-solvers. It focusses on recent successful techniques and points out weaknesses that have to be overcome to exploit the full power of modern multi-core processors. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 23 CITATIONS