Publication | Closed Access
A short overview on modern parallel SAT-solvers
25
Citations
16
References
2011
Year
Full PowerCluster ComputingMassively-parallel ComputingModern Parallel Sat-solversEngineeringParallel Complexity TheoryParallel ProcessingSat SolvingComputer EngineeringComputer ArchitectureParallel ImplementationComputational ComplexityParallel ProgrammingComputer ScienceModern Multi-core ProcessorsParallel Computing
This paper surveys modern parallel SAT-solvers. It focusses on recent successful techniques and points out weaknesses that have to be overcome to exploit the full power of modern multi-core processors.
| Year | Citations | |
|---|---|---|
Page 1
Page 1