Princeton University Library Catalog

Accelerating Boolean Satisfiability with Distributed and Parallel Computation

Author/​Artist:
Format:
Senior thesis
Language:
English
Advisor(s):
Malik, Sharad [Browse]
Department:
Princeton University. Department of Electrical Engineering [Browse]
Class year:
2000
Description:
17 Pages
Restrictions note:
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.