Scala, E.; Ramírez, M.; Haslum, P.; Thiebaux, S. Numeric Planning With Disjunctive Global Constraints via SMT. ICAPS 2016, 26, 276-284.