Complex sentence: Any ADL problem can be translated into a STRIPS instance--however, existing compilation techniques are worst-case exponential.
Split into simpler sentences: Any ADL problem can be translated into a STRIPS instance. However, existing compilation techniques are worst-case exponential.