Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)

Материал из 0x1.tv

Версия от 16:26, 15 декабря 2019; StasFomin (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Ссылки сюда (4) →

Короткая ссылка: 20191206AA

Докладчик: Nikolaj Bjørner

Видео

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Презентация

Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)!.jpg

Примечания и ссылки

Источник — «https://0x1.tv/index.php?title=Programming_Constraint_Services_with_Z3_(Nikolaj_Bjørner,_ISPRASOPEN-2019)&oldid=128151»