DocumentCode
560944
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
fYear
2011
fDate
17-18 Dec. 2011
Firstpage
201
Lastpage
206
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Computer Science and Information System (ICACSIS), 2011 International Conference on
Conference_Location
Jakarta
Print_ISBN
978-1-4577-1688-1
Type
conf
Filename
6140776
Link To Document