| Home | Organizers | Proceedings Editors | Proceedings Contributors | Search | | ||
|
|
|||
|
||||
|
|
||||
| Title: | ACCELERATING BOOLEAN SAT ENGINES USING HYPER-THREADING TECHNOLOGY | |
| DOI No: | 10.1142/9781860948534_0008 | |
| Source: | INNOVATIVE APPLICATIONS OF INFORMATION TECHNOLOGY FOR THE DEVELOPING WORLD (pp 58-62) | |
| Author(s): | TOBIAS SCHUBERT
Institute for Computer Science, Albert–Ludwigs–University of Freiburg, Germany MATTHEW LEWIS Institute for Computer Science, Albert–Ludwigs–University of Freiburg, Germany BERND BECKER Institute for Computer Science, Albert–Ludwigs–University of Freiburg, Germany |
|
| Abstract: | In this paper we analyze the practical advantage of using Intel's Hyper-Threading Technology (HTT) in the field of SAT solving. Nowadays most Intel Pentium 4 processors support HTT and can act as either one physical or as two logical CPUs. To test the performance of both scenarios we parallelized a sequential state-of-the-art solver. Experimental results are provided, showing that the distributed approach using the two logical processors outperforms the comparable sequential algorithm – executed on the physical processor – by about 20% on average. | |
| Full Text: | View full text in PDF format (340KB) | |
| TOC: | Back to Table of Contents | |
|
||