Tias Guns

18 papers · 2013–2026 · 4 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (15) 🌈 Renaissance Researcher (6) 🗺️ Taxonomy Completionist (38) 🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (4) 🏃 Academic Marathon (12) 🧭 Keyword Pioneer 🔬 Deep Specialist (10) 🗃️ Keyword Collector (81) 💎 Century Club (16) 🔥 Unstoppable (7) 🚀 Conference Pioneer

Conferences

AAAI (9) IJCAI (7) ICML (1) NIPS (1)

Top co-authors

Jayanta Mandi (5) Bart Bogaerts (4) Emilio Gamba (3) Ignace Bleukx (3) Senne Berden (3) Peter J. Stuckey (3) Jeffrey Chan (2) James Bailey (2) Sebastijan Dumancic (2) Emir Demirović (2)

Keywords

combinatorial optimization (6) constraint programming (4) predict and optimize (3) active learning (3) linear programming (3) regret minimization (2) step-wise explanation (2) constraint satisfaction (2) logic program (2) constraint acquisition (2) constraint optimisation (2) constraint optimization (2) machine learning (2) preference elicitation (2) neural network (2) branch and bound (1) constraint solving (1) knowledge base (1) image interpretation (1) probabilistic inference (1)

Papers

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

Using Certifying Constraint Solvers for Generating Step-wise Explanations AAAI 2026

Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation IJCAI 2025

Exploiting Symmetries in MUS Computation AAAI 2025

Generalizing Constraint Models in Constraint Acquisition AAAI 2025

Learning to Learn in Interactive Constraint Acquisition AAAI 2024

Sudoku Assistant – an AI-Powered App to Help Solve Pen-and-Paper Sudokus AAAI 2023

Decision-Focused Learning: Through the Lens of Learning to Rank ICML 2022

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization IJCAI 2021

Contrastive Losses and Solution Caching for Predict-and-Optimize IJCAI 2021

Knowledge Refactoring for Inductive Program Synthesis AAAI 2021

Interior Point Solving for LP-based prediction+optimisation NIPS 2020

Dynamic Programming for Predict+Optimise AAAI 2020

Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems AAAI 2020

Learning Relational Representations with Auto-encoding Logic Programs IJCAI 2019

Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions IJCAI 2019

Stochastic Constraint Programming with And-Or Branch-and-Bound IJCAI 2017

MiningZinc: A Modeling Language for Constraint-based Mining IJCAI 2013