A Short Overview on Modern Parallel SAT-Solvers

S. HölldoblerS. Hölldobler, N. MantheyN. Manthey, V.H. NguyenV.H. Nguyen, J. StecklinaJ. Stecklina, P. SteinkeP. Steinke

S. Hölldobler, N. Manthey, V.H. Nguyen, J. Stecklina, P. Steinke
A Short Overview on Modern Parallel SAT-Solvers
In I. Wasito et.al., eds., Proceedings of the International Conference on Advanced Computer Science and Information Systems, 201-206, 2011

Details
Bibtex

Bemerkung: Note: ISBN 978-979-1421-11-9
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{HMNSS2011,
  author    = {S. H{\"{o}}lldobler and N. Manthey and {V.H.} Nguyen and J.
               Stecklina and P. Steinke},
  title     = {A Short Overview on Modern Parallel {SAT-Solvers}},
  editor    = {I. Wasito et.al.},
  booktitle = {Proceedings of the International Conference on Advanced Computer
               Science and Information Systems},
  year      = {2011},
  pages     = {201-206}
}