MAX-SAT: дерандомизация/Задачи/eupce-6-4 — различия между версиями