SMT-Based Optimal Deployment of Mobile Rechargers | IEEE Conference Publication | IEEE Xplore