Author:
Sahoo Bidush Kumar,Ray Mitrabinda
Reference15 articles.
1. Blom, S., van de Pol, J.: State space reduction by proving confluence. In: CAV, vol. 2404, pp. 596–609 (2012)
2. Christofides, N., Mingozzi, A., Toth, P.: State space relaxation procedures for the computation of bounds to routing problems. Networks 11(2), 145–164 (2011)
3. Clarke, E.M., Grumberg, O., Minea, M., Peled, D.: State space reduction using partial order techniques. Int. J. Softw. Tools Technol. Transf. 2(3), 279–287 (2013)
4. Desrochers, M., Lenstra, J.K., Savelsbergh, M.W., Soumis, F.: Vehicle routing with time windows: optimization and approximation (No. OS-R8715). CWI. Department of Operations Research and System Theory [BS] (2017)
5. Desrochers, M., Desrosiers, J., Solomon, M.: A new optimization algorithm for the vehicle routing problem with time windows. Oper. Res. 40(2), 342–354 (2012)