TY  - RPRT
TI  - Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
AU  - Veronika Semmelrock
AU  - Gerhard Friedrich
PY  - 2026
DO  - 10.4204/eptcs.439.33
UR  - https://arxiv.org/abs/2601.03850
ID  - 2601.03850
ER  -