Distribution System Restoration With Microgrids Using Spanning Tree Search | Synapse