Диниц Е.А., Карзанов А.В.

Булева задача оптимизации при ограничениях одного знака.