Piacentini, Chiara, et al. “Compiling Optimal Numeric Planning to Mixed Integer Linear Programming”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 28, no. 1, June 2018, pp. 383-7, doi:10.1609/icaps.v28i1.13919.