Text this: Алгоритмы решения распределительной задачи с булевыми переменными