Rosalind (Rosie) David ’20 Computer Science Major Faculty Sponsor: Jill Zimmerman Abstract I researched the Boolean Satisfiability (SAT) Problem and…
Rosalind (Rosie) David ’20 Computer Science Major Faculty Sponsor: Jill Zimmerman Abstract I researched the Boolean Satisfiability (SAT) Problem and…