The Restricted Edge-Connectivity of Strong Product Graphs | Synapse