An Assignment-Based Approach to Efficient Real-Time City-Scale Taxi Dispatching | Synapse