company: TU Darmstadt creator: Christopher Hojny, Hendrik Lüthen, Marc E. Pfetsch description: integer programming formulation that verifies that no integer programming formulation of a given 0/1-point set exists email: hojny@mathematik.tu-darmstadt.de license: cc-license misc: '' name: Christopher Hojny other-license: '' owner: TU Darmstadt