Tias Guns

Venues

Frequent coauthors

Papers

1. Preference Elicitation for Step-Wise Explanations in Logic Puzzles
   AAAI 2026 ·

   Marco Foschini

   DBLP profile ↗ORCID search ↗
2. Using Certifying Constraint Solvers for Generating Step-wise Explanations
   AAAI 2026 ·

   Ignace Bleukx

   DBLP profile ↗ORCID search ↗
3. CP-Bench: Evaluating Large Language Models for Constraint Modelling
   ECAI 2025 ·

   Kostis Michailidis

   DBLP profile ↗ORCID search ↗
4. Exploiting Symmetries in MUS Computation
   AAAI 2025 ·

   Ignace Bleukx

   DBLP profile ↗ORCID search ↗
5. Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
   NeurIPS 2025 ·

   Jayanta Mandi

   DBLP profile ↗ORCID search ↗
6. Generalizing Constraint Models in Constraint Acquisition
   AAAI 2025 ·

   Dimos Tsouros

   DBLP profile ↗ORCID search ↗
7. Minimizing Surrogate Losses for Decision-Focused Learning Using Differentiable Optimization
   ECAI 2025 ·

   Jayanta Mandi

   DBLP profile ↗ORCID search ↗
8. Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
   IJCAI 2025 ·

   Marianne Defresne

   DBLP profile ↗ORCID search ↗
9. Solver-Free Decision-Focused Learning for Linear Optimization Problems
   NeurIPS 2025 ·

   Senne Berden

   DBLP profile ↗ORCID search ↗
10. Decision-Focused Learning to Predict Action Costs for Planning
    ECAI 2024 ·

    Jayanta Mandi

    DBLP profile ↗ORCID search ↗
11. Learning to Learn in Interactive Constraint Acquisition
    AAAI 2024 ·

    Dimosthenis C. Tsouros

    DBLP profile ↗ORCID search ↗