Let Z=XY where X is binary and 0<=Y<=1 is continuous variable between zero and one. I know that Z can be linearized as: Z<=X,Z<=Y,Z>=X+Y-1. I am wandering if there is any tighter linareization than the above linearization.
This question is marked "community wiki".
|
You need nonnegativity on z, but otherwise, that's it. You need the convex hull of (0,0,0), (0,1,0), (1,0,0), and (1, 1, 1). |