Партнёр:
Предмет:
Лектор:Александр Куликов Конференция:
Embedded video for Как улучшить верхние оценки на схемную сложность при помощи SAT-солверов
Введите адрес назначения (URL)
Или сделайте ссылку на существующий материал