Modern Parallel SAT-Solvers

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column
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}
}