MAX-SAT: дерандомизация/Задачи/ex-derand-maxsat-f0-f1 — различия между версиями