The computational complexity of planning with Strips-style operators has re
ceived a considerable amount of interest in the literature. However, the ap
proximability of such problems has only received minute attention. We study
two Pspace-hard optimization versions of propositional planning and provid
e tight upper and lower bounds on their approximability.