Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing — Veronika Semmelrock, Gerhard Friedrich | Kutubxona