Parallel SAT Solving - Using More Cores

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Parallel SAT Solving - Using More Cores

Norbert MantheyNorbert Manthey

• Download

Norbert Manthey
Parallel SAT Solving - Using More Cores
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{M2011,
  author      = {Norbert Manthey},
  title       = {Parallel {SAT} Solving - Using More Cores},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2011}
}