Задачи псевдобулевой оптимизации с дизъюнктивным ограничением

Рассматриваются алгоритмы решения задачи оптимизации псевдобулевой функции при ограничении, заданном в виде логического уравнения вида $D=1$, где $D$ – дизъюнктивная нормальная форма. Исследуются вопросы различных эквивалентных форм представления задач псевдобулевой оптимизации, приведения к разным формам и сложности их решения.