Bart Bogaerts

Venues

Frequent coauthors

Papers

1. Certified Branch-and-Bound MaxSAT Solving
   AAAI 2026 ·

   Dieter Vandesande

   DBLP profile ↗ORCID search ↗
2. Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
   AAAI 2026 ·

   Hannes Ihalainen

   DBLP profile ↗ORCID search ↗
3. Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
   AAAI 2026 ·

   Markus Anders

   DBLP profile ↗ORCID search ↗
4. Preference Elicitation for Step-Wise Explanations in Logic Puzzles
   AAAI 2026 ·

   Marco Foschini

   DBLP profile ↗ORCID search ↗
5. Using Certifying Constraint Solvers for Generating Step-wise Explanations
   AAAI 2026 ·

   Ignace Bleukx

   DBLP profile ↗ORCID search ↗
6. Why(-Not)-Provenance for Datalog with Negation
   KR 2026 · Bart Bogaerts
7. Exploiting Symmetries in MUS Computation
   AAAI 2025 ·

   Ignace Bleukx

   DBLP profile ↗ORCID search ↗
8. Using Symmetries to Lift Satisfiability Checking
   AAAI 2024 ·

   Pierre Carbonnelle

   DBLP profile ↗ORCID search ↗