RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Фомина Виктория Викторовна
Публикации в базе данных Math-Net.Ru
MaxSMT-решатель, поддерживающий режим портфолио
Труды ИСП РАН
,
37
:4(1) (2025),
177–188
©
МИАН
, 2025
