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

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