Bryce, D.; Gao, S.; Musliner, D.; Goldman, R. SMT-Based Nonlinear PDDL+ Planning. AAAI 2015, 29.