Affiliation:

KU Leuven

Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities

Large Language Models for Explaining Unsatisfiable Constraint Satisfaction Problems

LLM-Guided Constraint Model Reformulation for Solving Efficiency

Machine Learning-Based Generalization Queries for Constraint Acquisition

Solution checking with CPMpy

Efficient MUS Extraction with High-Level Model Rotation