F. Ivankovic, P. Haslum, S. Thiebaux, V. Shivashankar, and D. Nau, “Optimal Planning with Global Numerical State Constraints”, ICAPS, vol. 24, no. 1, pp. 145-153, May 2014.