Piacentini, C., M. Castro, A. Cire, and J. C. Beck. “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.