Слабоопределенные задачи булева программирования с частично заданным множеством допустимых решений

К слабоопределенным задачам булева программирования относятся такие, у которых целевая функция или множество допустимых решений заданы не полностью, частично. На основе свойств монотонных функций, алгебры логики, соответствующих ограничениям линейных задач булева программирования, предложен подход к построению доопределения частично заданного множества допустимых решений и к поиску оптимальных решений в полученном доопределении. Для проверки допустимости найденных решений используется алгоритм распознавания класса допустимых решений.