Аннотация:
Исследуются задачи дискретной оптимизации с логическими ограничениями на основе моделей целочисленного линейного программирования и метода регулярных разбиений. Получена верхняя оценка мощности произвольного $L$-комплекса многогранника задачи $2$-выполнимости, использование которой позволяет более эффективно решать некоторые прикладные задачи проектирования сложных изделий с помощью рассматриваемых подходов.
Ключевые слова:
задача выполнимости, логические ограничения, целочисленное программирование, $L$-разбиение.