Yet Another Science Podcast
Yet Another Science Podcast
Joseph Scott
Clark Barrett - Automated Reasoning, SMT Solvers, Artificial Intelligence • YASP #2
1 hour 34 minutes Posted Apr 21, 2023 at 2:19 am.
0:00
1:34:33
Download MP3
Show notes

GUEST LINKS: Clark's Website: https://theory.stanford.edu/~barrett/Clark's Linkedin: https://www.linkedin.com/in/clark-bar... PODCAST INFO: Podcast Website: https://www.yasppodcast.com/ Podcast Twitter: https://twitter.com/yasp_podcast