@misc{indiciaebd71516bb740,
  title = {Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing},
  author = {Veronika Semmelrock and Gerhard Friedrich},
  year = {2026},
  doi = {10.4204/eptcs.439.33},
  url = {https://arxiv.org/abs/2601.03850},
  note = {Source identifier: 2601.03850}
}