Константин Чухарев - От SAT к SMT: новый рубеж в решении задач и формальной верификации

Name: Константин Чухарев - От SAT к SMT: новый рубеж в решении задач и формальной верификации
Uploaded: 2024-11-15T23:23:13+03:00
Duration: 1 h 9 min 16 s
Channel: NoML
Description: Константин Чухарев - От SAT к SMT: новый рубеж в решении задач и формальной верификации

12+

21 просмотр

2 года назад

Название:

Константин Чухарев - От SAT к SMT: новый рубеж в решении задач и формальной верификации

Категория: