Bart Bogaerts

10 papers at tracked venues · 7 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×7 CP ×2 KR ×1

Frequent coauthors

Tias Guns

×3

Dieter Vandesande

×2

Hannes Ihalainen

×2

Jeremias Berg

×2

Matti Järvisalo

×2

Markus Anders

×2

Ignace Bleukx

×2

Jordi Coll

×1

André Schidler

×1

Benjamin Bogø

×1

Arthur Gontier

×1

Wietze Koops

×1

Papers

Certified Branch-and-Bound MaxSAT Solving
AAAI 2026 ·
Dieter Vandesande
,
Jordi Coll
, Bart Bogaerts
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
AAAI 2026 ·
Hannes Ihalainen
,
Dieter Vandesande
,
André Schidler
,
Jeremias Berg
, Bart Bogaerts,
Matti Järvisalo
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
AAAI 2026 ·
Markus Anders
, Bart Bogaerts,
Benjamin Bogø
,
Arthur Gontier
,
Wietze Koops
,
Ciaran McCreesh
,
Magnus O. Myreen
,
Jakob Nordström
,
Andy Oertel
,
Adrian Rebola-Pardo
,
Yong Kiam Tan
On Symmetries and Transformations
CP 2026 ·
Daimy Van Caudenberg
,
Markus Anders
, Bart Bogaerts
Preference Elicitation for Step-Wise Explanations in Logic Puzzles
AAAI 2026 ·
Marco Foschini
,
Marianne Defresne
,
Emilio Gamba
, Bart Bogaerts,
Tias Guns
Using Certifying Constraint Solvers for Generating Step-wise Explanations
AAAI 2026 ·
Ignace Bleukx
,
Maarten Flippo
, Bart Bogaerts,
Emir Demirovic
,
Tias Guns
Why(-Not)-Provenance for Datalog with Negation
KR 2026 · Bart Bogaerts,
Marco Calautti
,
Andreas Pieris
,
Samuele Pollaci
,
Robbe Van den Eede
Exploiting Symmetries in MUS Computation
AAAI 2025 ·
Ignace Bleukx
,
Hélène Verhaeghe
, Bart Bogaerts,
Tias Guns
Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets
CP 2025 ·
Hannes Ihalainen
,
Jeremias Berg
,
Matti Järvisalo
, Bart Bogaerts
Using Symmetries to Lift Satisfiability Checking
AAAI 2024 ·
Pierre Carbonnelle
,
Gottfried Schenner
,
Maurice Bruynooghe
, Bart Bogaerts,
Marc Denecker