"Порядок размещения текстов научных докладов об основных результатах подготовленной научно-квалификационной работы (диссертации) в электронно-библиотечной системе ДГТУ и проверки на объем заимствования, выявления неправомочных заимствований." Введено в действие приказом ректора №159 от 06.06.2017
Актуальность темы исследования. Проблема выполнимости в таких формах, как задача максимальной выполнимости (MAX-SAT), остается сложной задачей. Наиболее успешные подходы к решению таких задач используют форму систематического поиска по дереву.
