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

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

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

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

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


Please drop me email about bug(s) and/or suggestion(s): blog@yurichev.com. List of other blog posts. Follow me in social networks: Twitter, Telegram, GitHub, Discord, Facebook.