activity
20102025
most citedBinary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results

28 citations · 44 across the 9 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.AI2025

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…