Modeling and Solving a Car Rental Revenue Optimization Problem