Проблемы этого типа невозможно решить с помощью CPLEX или docplex. Если вы хотите использовать эти инструменты для своей модели, то единственный вариант - переформулировать целевую функцию. Вы можете, например, сформулировать цель как кусочно-линейную функцию.
Иногда эти произведения нескольких переменных можно линеаризовать. Например, произведение трех двоичных переменных равно 1 тогда и только тогда, когда все переменные равны 1. Это можно выразить, введя новую переменную, которая представляет продукт, и ограничения, которые заставляют переменную равняться 1, если все двоичные файлы равны 1, и 0. в противном случае. То же самое можно сделать и в других случаях.