Parallel SAT Solving - Using More Cores
From International Center for Computational Logic
Parallel SAT Solving - Using More Cores
Norbert MantheyNorbert Manthey
Norbert Manthey
Parallel SAT Solving - Using More Cores
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Parallel SAT Solving - Using More Cores
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
- 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}
}
