Комментарии — MAX-SAT: вероятностное округление/Задачи/eupce-6-3-a