MAX-SMT исследования — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: « === Разбор статьи MAX-SMT-LIA === * [https://vimeo.com/1079320161/4f69bd591d Вводное видео] * https://алгоритмы.испран.р…») |
StasFomin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | |||
=== Разбор статьи MAX-SMT-LIA === | === Разбор статьи MAX-SMT-LIA === | ||
| + | |||
| + | [[File:MAX-SMT исследования_2025-04-28_15-21-04_image0.png|360px|right]] | ||
* [https://vimeo.com/1079320161/4f69bd591d Вводное видео] | * [https://vimeo.com/1079320161/4f69bd591d Вводное видео] | ||
Текущая версия на 12:21, 28 апреля 2025
Разбор статьи MAX-SMT-LIA
