MAX-SAT: дерандомизация/Задачи/ex-derand-maxsat-f0-f1 — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
(не показано 5 промежуточных версий этого же участника) | |
(нет различий)
|
Версия 19:31, 6 октября 2020