MAX-SAT: вероятностное округление/Задачи/MAX-SAT-random-t-samples Игорь Гнедков