[1]
D. Bryce, S. Gao, D. Musliner, and R. Goldman, “SMT-Based Nonlinear PDDL+ Planning”, AAAI, vol. 29, no. 1, Mar. 2015.