E. Scala, M. Ramírez, P. Haslum, and S. Thiebaux, “Numeric Planning with Disjunctive Global Constraints via SMT”, ICAPS, vol. 26, no. 1, pp. 276-284, Mar. 2016.