Modern Parallel SAT-Solvers

From International Center for Computational Logic
Toggle side column

Modern Parallel SAT-Solvers

Steffen HölldoblerSteffen Hölldobler,  Norbert MantheyNorbert Manthey,  Van Hau NguyenVan Hau Nguyen,  Julian StecklinaJulian Stecklina,  Peter SteinkePeter Steinke
Steffen Hölldobler, Norbert Manthey, Van Hau Nguyen, Julian Stecklina, Peter Steinke
Modern Parallel SAT-Solvers
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
@techreport{HMNSS2011,
  author      = {Steffen H{\"{o}}lldobler and Norbert Manthey and Van Hau Nguyen
                 and Julian Stecklina and Peter Steinke},
  title       = {Modern Parallel {SAT-Solvers}},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2011}
}