Scholar
Bart Bogaerts
Google Scholar ID: XFeUJTkAAAAJ
Research Professor, DTAI lab, Department of Computer Science, KU Leuven
Combinatorial Optimization
Proofs
Knoweledge Representation
Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,372
H-index
22
i10-index
39
Publications
20
Co-authors
27
list available
Publications
9 items
Towards a Certifying Grounder
2026
Cited
0
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
2025
Cited
0
Using Certifying Constraint Solvers for Generating Step-wise Explanations
2025
Cited
0
Certified Branch-and-Bound MaxSAT Solving (Extended Version)
2025
Cited
0
Preference Elicitation for Step-Wise Explanations in Logic Puzzles
2025
Cited
0
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
2025
Cited
0
Approximation Fixpoint Theory with Refined Approximation Spaces
2025
Cited
0
Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
2025
Cited
0
Load more
Co-authors
10 total
Marc Denecker
Prof. at KU-Leuven
Jo Devriendt
KU Leuven
Joost Vennekens
Vrije Universiteit Brussel
Jakob Nordström
University of Copenhagen and Lund University
Jan Van den Bussche
Professor, Hasselt University
Tomi Janhunen
Tampere University, Finland
Hendrik Blockeel
Department of Computer Science, KU Leuven
Ciaran McCreesh
University of Glasgow
