Scala E, Ramírez M, Haslum P, Thiebaux S. Numeric Planning with Disjunctive Global Constraints via SMT. ICAPS [Internet]. 2016 Mar. 30 [cited 2026 May 26];26(1):276-84. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13766