Tias Guns
18 papers · 2013–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (35) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Gold π£ Hot Topic Early Bird
π¬
Deep Specialist
(10)
π
Keyword Champion
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
ποΈ
Keyword Collector
(81)
π
Century Club Β· Bronze
Venues
Top co-authors
Research topics
Machine Learning
(14)
Mathematics & Optimization
(12)
Optimization
(12)
Artificial Intelligence
(8)
Core AI
(8)
Optimization & Theory
(8)
Core Methods
(7)
Learning Types
(7)
Knowledge & Reasoning
(4)
Computer Science
(3)
Foundations
(2)
Reasoning
(2)
Representation
(2)
Deep Learning
(1)
Applications
(1)
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
Exploiting Symmetries in MUS Computation
AAAI 2025
Generalizing Constraint Models in Constraint Acquisition
AAAI 2025
Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
IJCAI 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
Contrastive Losses and Solution Caching for Predict-and-Optimize
IJCAI 2021
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
IJCAI 2021
Knowledge Refactoring for Inductive Program Synthesis
AAAI 2021
Dynamic Programming for Predict+Optimise
AAAI 2020
Interior Point Solving for LP-based prediction+optimisation
NeurIPS 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