A Short Overview on Modern Parallel SAT-Solvers

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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
A Short Overview on Modern Parallel SAT-Solvers


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
@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}
}