SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Samir Sapra Edmund Clarke Logic Minimization Using SAT Checkers