Linear Encodings for Polytope Containment Problems | IEEE Conference Publication | IEEE Xplore