[Russian][Video] Мой рассказ о SAT/SMT летом 2021, в Zoom-е

В рамках школы Лялямбда, 9-го, 10-го и 11-го июля 2021 я рассказывал о SAT, SMT, Z3 и NP-проблемах показывая примеры из своей книги.

Записалось три видео, по полтора часа: часть I, часть II, часть III.

Эти же видео, но на канале школы Лялямбда: часть I, часть II, часть III.

Большое спасибо Полине и Олегу за помочь с этим самым Zoom-ом, который я юзал первый раз в жизни...

List of my other blog posts.

Yes, I know about these lousy Disqus ads. Please use adblocker. I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.