company: Karlsruher Institut für Technologie (KIT) creator: '' description: '' email: j.ott@kit.edu license: '' misc: | Imported from the miplib2010 submissions name: Jonathan Ott other-license: '' owner: '' source: ''