I have a high-dimensional, non-empty polytope $Ax\geq b$ sitting inside the cube ($0\leq x_i \leq 1$). Is there any general theory or technique to show that this polytope contains an integer point, that is a point of the cube?

Unfortunately, $A$ is not totally unimodular.

Thanks,

Richard