Polyhedral annexation in mixed integral programming | lit.salon