X. Tan and A. Grastien, “Inapproximability of STRIPS Planning”, AAAI, vol. 40, no. 43, pp. 36403–36411, Mar. 2026.