Satisfiability and freezing in random integer programs

Dylan J. Altschuler, Ruben Ascoli, Will Perkins

We study a model of a random centrally symmetric polytope and ask about the existence of points in the polytope with non-zero, integer coordinates. Our main results are the locatio…