4 citations · 4 across the 3 of their papers we have counts for
3 papers
Exploiting Symmetries in MUS Computation (Extended version)
Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts +1
In eXplainable Constraint Solving (XCS), it is common to extract a Minimal Unsatisfiable Subset (MUS) from a set of unsatisfiable constraints. This helps explain to a user why a co…
Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches
Léo Boisvert, Hélène Verhaeghe, Quentin Cappart
In recent years, there has been a growing interest in using learning-based approaches for solving combinatorial problems, either in an end-to-end manner or in conjunction with trad…
Holy Grail 2.0: From Natural Language to Constraint Models
Dimos Tsouros, Hélène Verhaeghe, Serdar Kadıoğlu +1
Twenty-seven years ago, E. Freuder highlighted that "Constraint programming represents one of the closest approaches computer science has yet made to the Holy Grail of programming:…