Piacentini, Chiara, Margarita Castro, Andre Cire, and J. Christopher Beck. 2018. “Compiling Optimal Numeric Planning to Mixed Integer Linear Programming”. Proceedings of the International Conference on Automated Planning and Scheduling 28 (1):383-87. https://doi.org/10.1609/icaps.v28i1.13919.