@misc{indiciaed9443cfa107a,
  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},
  url = {https://arxiv.org/abs/2603.19429},
  note = {Source identifier: 2603.19429}
}