← Authors

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

Marc Denecker (6) Tias Guns (4) Ciaran McCreesh (2) Jakob Nordstrâm (2) Emilio Gamba (2) Ignace Bleukx (2) Joost Vennekens (2) Dieter Vandesande (2) Emir Demirović (1) Adrian Rebola-Pardo (1)

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