@misc{indiciaec59584af7255, title = {Commuting with Autonomous Vehicles: A Branch and Cut Algorithm with Redundant Modeling}, author = {Mohd. Hafiz Hasan and Pascal Van Hentenryck}, year = {2021}, url = {https://arxiv.org/abs/2101.01072}, note = {Source identifier: 2101.01072} }