Efficient auction games : theories, algorithms and applications in smart grids and electric vehicle charging (2020)