company:TU Darmstadtcreator:Christopher Hojny, Hendrik Lüthen, Marc E. Pfetschdescription:integer programming formulation that verifies that no integer programmingformulation of a given 0/1-point set existsemail:hojny@mathematik.tu-darmstadt.delicense:cc-licensemisc:''name:Christopher Hojnyother-license:''owner:TU Darmstadt