2014-05-28 A survey of automated theorem proving https://www.youtube.com/watch?v=Nydg-N83VYc https://www.youtube.com/watch?v=iPFJY0aW4E4 https://www.youtube.com/watch?v=ZdJ0-V77f_0 https://www.youtube.com/watch?v=g3EQKBMq5h0 http://logic.pdmi.ras.ru/csclub/sites/default/files/slides/20130928_automated_theorem_proving_harrison.pdf