Automated Reasoning Talk on [2020-02-07 Fri]. Slides here. A few notes here. Reading resources might be incomplete and will be added later.