3 search results - page 1 / 1 » HordeSat: A Massively Parallel Portfolio SAT Solver |
IEEEHPCS
2010
13 years 3 months ago
2010
This work presents the design and implementation of a massively parallel 3-SAT solver, specifically targeting random problem instances. Our approach is deterministic and features ...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
IPPS
2009
IEEE
13 years 11 months ago
2009
IEEE
—In this work we study the portfolio problem which is to find a good combination of multiple heuristics to solve given instances on parallel resources in minimum time. The resou...