A mixed-integer linear programming approach for collateral management | Synapse