Parallel Multithreaded Satisfiability Solver: Design and Implementation (2005)
by
Yulik Feldman
| Citations: | 13 - 1 self |
BibTeX
@MISC{Feldman05parallelmultithreaded,
author = {Yulik Feldman},
title = {Parallel Multithreaded Satisfiability Solver: Design and Implementation},
year = {2005}
}
Years of Citing Articles
OpenURL
Abstract
This thesis describes the design and implementation of a highly optimized, multithreaded algorithm for the propositional satisfiability problem. The algorithm is based on the Davis-Logemann-Loveland sequential algorithm, but includes many of the optimization techniques introduced in recent years. The document provides experimental results for the execution of the parallel algorithm on a variety of multiprocessor machines with shared memory architecture. In particular, the overwhelming e#ect of parallel execution on the performance of processor cache is studied.







