Robin K. O'Callaghan
Presentations:
325
Reasoning and Proof on the SAT