@article{whenbothgroundingandnotgroundingarebadap,
  title = {When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)},
  author = {João Filipe and Gregor Behnke},
  year = {2026},
  eprint = {2603.19429},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2603.19429},
}