Tias Guns
18 papers · 2013–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
π Conference Polyglot (4) π§ Keyword Pioneer π£ Hot Topic Early Bird π Interdisciplinary Bridge π Academic Marathon (12)
π
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
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