Modern Parallel SAT-Solvers

Steffen HölldoblerSteffen Hölldobler, Norbert MantheyNorbert Manthey, Van Hau NguyenVan Hau Nguyen, Julian StecklinaJulian Stecklina, Peter SteinkePeter Steinke

Download

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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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