Logic-based decision support : mixed integer model formulation - Jeroslow, Robert G., 1942- (North-Holland, 1989)