Logic-based decision support : mixed integer model formulation - Jeroslow, Robert G., 1942- (Annals of discrete mathematics ;, 1989)