Andrew D. Schwartz
Presentations:
325
Reasoning and Proof on the SAT