The Second-order Subdifferential Characterization of the Strong Efficient Solution of Set-valued Optimization Problems | Synapse