C. Piacentini, M. Castro, A. Cire, and J. C. Beck, “Compiling Optimal Numeric Planning to Mixed Integer Linear Programming”, ICAPS, vol. 28, no. 1, pp. 383-387, Jun. 2018.