Bart Bogaerts
17 papers · 2015–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
๐ Academic Marathon (10) ๐งญ Keyword Pioneer ๐ Interdisciplinary Bridge ๐ Conference Polyglot (2) ๐ Cross-Pollinator (5)
๐
Academic Marathon
(10)
๐งญ
Keyword Pioneer
๐งฌ
Topic Evolution
๐๏ธ
Keyword Collector
(61)
๐
Century Club
(12)
๐ฅ
Unstoppable
(5)
โก
Prolific Year
(5)
๐
Conference Pioneer
Conferences
AAAI (9)
IJCAI (8)
Top co-authors
Keywords
combinatorial optimization
(4)
approximation fixpoint theory
(3)
step-wise explanation
(2)
proof logging
(2)
non-monotonic reasoning
(2)
symmetry breaking
(2)
constraint satisfaction
(1)
formal verification
(1)
constraint solving
(1)
first-order logic
(1)
preference elicitation
(1)
answer set programming
(1)
multi-armed bandit
(1)
cutting plane
(1)
auxiliary variable
(1)
explainable ai
(1)
sat solver
(1)
logic puzzle
(1)
minimal unsatisfiable subset
(1)
integer programming
(1)
Papers
Using Certifying Constraint Solvers for Generating Step-wise Explanations
AAAI 2026
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
AAAI 2026
Preference Elicitation for Step-Wise Explanations in Logic Puzzles
AAAI 2026
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
AAAI 2026
Certified Branch-and-Bound MaxSAT Solving
AAAI 2026
Exploiting Symmetries in MUS Computation
AAAI 2025
Using Symmetries to Lift Satisfiability Checking
AAAI 2024
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
AAAI 2022
On the Relation Between Approximation Fixpoint Theory and Justification Theory
IJCAI 2021
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
IJCAI 2021
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory
AAAI 2019
Exploiting Justifications for Lazy Grounding of Answer Set Programs
IJCAI 2018
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory
IJCAI 2017
Safe Inductions: An Algebraic Study
IJCAI 2017
Distributed Autoepistemic Logic and its Application to Access Control
IJCAI 2016
Relevance for SAT(ID)
IJCAI 2016
Partial Grounded Fixpoints
IJCAI 2015