Towards Distributed Mixed-Integer Quadratic Programming for Mixed-Traffic Intersection Control with Proximal ADMM