Bart Bogaerts
17 papers
· 2015–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(5)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(18)
π
Conference Polyglot
(2)
π
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
Exploiting Symmetries in MUS Computation
AAAI 2025
Safe Inductions: An Algebraic Study
IJCAI 2017
Relevance for SAT(ID)
IJCAI 2016
Partial Grounded Fixpoints
IJCAI 2015