Table of Contents
List of Figures
List of Tables
List of Algorithms
Chapter 1. Introduction
Chapter 2. Related Work
Chapter 3. Approach and Methodology
Chapter 4. Experimental Results
Chapter 5. Conclusions and Recommendations for Future Work
Senior and graduate (Master and Ph. D.) Students.
Research groups in the Verification and Formal methods area.
SAT solvers, SLS, Parallel SAT, Parallel SLS, CPU time