Title :
A short overview on modern parallel SAT-solvers
Author :
Hölldobler, Steffen ; Manthey, Norbert ; Nguyen, Van Hau ; Stecklina, Julian ; Steinke, Peter
Author_Institution :
Fac. of Comput. Sci., Tech. Univ. Dresden, Dresden, Germany
Abstract :
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.
Keywords :
computability; multiprocessing systems; parallel processing; modern multicore processor; parallel SAT-solver; Computer architecture; Delay; Hardware; Parallel processing; Portfolios; Runtime; Scattering;
Conference_Titel :
Advanced Computer Science and Information System (ICACSIS), 2011 International Conference on
Conference_Location :
Jakarta
Print_ISBN :
978-1-4577-1688-1
