When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)

arXiv:2603.19429v1 Announce Type: new Abstract: Classical planning problems are typically defined using lifted firstorder representations, which offer compactness and generality. While most planners ground these representations to simplify reasoning, this can cause an exponential blowup in size.