Skip navigation
Please use this identifier to cite or link to this item: http://arks.princeton.edu/ark:/88435/dsp013484zj979
Title: Accelerating Boolean Satisfiability with Distributed and Parallel Computation
Authors: Moskewicz, Matthew W.
Madigan, Conor
Advisors: Malik, Sharad
Department: Electrical Engineering
Class Year: 2000
Extent: 17 Pages
Other Identifiers: 14633
URI: http://arks.princeton.edu/ark:/88435/dsp013484zj979
Location : This thesis can be viewed in person at the Mudd Manuscript Library. To order a copy complete the Senior Thesis Request Form. For more information contact mudd@princeton.edu.
Type of Material: Princeton University Senior Theses
Appears in Collections:Electrical and Computer Engineering, 1932-2023

Files in This Item:
There are no files associated with this item.


Items in Dataspace are protected by copyright, with all rights reserved, unless otherwise indicated.