TY - RPRT TI - Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement AU - Vasileios Balafas AU - Dimos Tsouros AU - Nikolaos Ploskas AU - Kostas Stergiou PY - 2025 UR - https://arxiv.org/abs/2509.24489 ID - 2509.24489 ER -