Princeton University

School of Engineering & Applied Science

Zhaohui Fu
Graduate Student
Graduation Year: 
2014
Thesis Title: 
Extending the Power of Boolean Satisfiability Solvers: Techniques and Applications
Advisor: 
Sharad Malik
Current Employer: 
Cadence Design Systems, Inc