Bart Bogaerts
Scholar

Bart Bogaerts

Google Scholar ID: XFeUJTkAAAAJ
Research Professor, DTAI lab, Department of Computer Science, KU Leuven
Combinatorial OptimizationProofsKnoweledge RepresentationLogic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,372
 
H-index
22
 
i10-index
39
 
Publications
20
 
Co-authors
27
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
27 total
Marc Denecker
Marc Denecker
Prof. at KU-Leuven
Co-author 2
Co-author 2
Jo Devriendt
Jo Devriendt
KU Leuven
Joost Vennekens
Joost Vennekens
Vrije Universiteit Brussel
Co-author 5
Co-author 5
Jakob Nordström
Jakob Nordström
University of Copenhagen and Lund University
Co-author 7
Co-author 7
Jan Van den Bussche
Jan Van den Bussche
Professor, Hasselt University