Scala, Enrico, Miquel Ramírez, Patrik Haslum, and Sylvie Thiebaux. 2016. “Numeric Planning With Disjunctive Global Constraints via SMT”. Proceedings of the International Conference on Automated Planning and Scheduling 26 (1):276-84. https://doi.org/10.1609/icaps.v26i1.13766.