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