Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement

Vasileios Balafas, Dimos Tsouros, Nikolaos Ploskas +1

Manual modeling in Constraint Programming is a substantial bottleneck, which Constraint Acquisition (CA) aims to automate. However, passive CA methods are prone to over-fitting, of…