Tan, X.; Grastien, A. Inapproximability of STRIPS Planning. AAAI 2026, 40, 36403-36411.