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