MAX-SAT: дерандомизация/Задачи/eupce-6-4 — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «{{проверено|}} {{bonus}} 480px Категория:Теоретические задачи») |
(нет различий)
|
Текущая версия на 16:16, 18 мая 2023