Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing. - Veronika Semmelrock; Gerhard Friedrich (ICLP, 2025)