Bart Bogaerts
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
16
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables. | Markus Anders, Bart Bogaerts, Benjamin Bog, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan |
| 2026 | AAAI | Using Certifying Constraint Solvers for Generating Step-wise Explanations. | Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns |
| 2026 | AAAI | Preference Elicitation for Step-Wise Explanations in Logic Puzzles. | Marco Foschini, Marianne Defresne, Emilio Gamba, Bart Bogaerts, Tias Guns |
| 2026 | AAAI | Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo |
| 2026 | AAAI | Certified Branch-and-Bound MaxSAT Solving. | Dieter Vandesande, Jordi Coll, Bart Bogaerts |
| 2026 | CAV | Liveness Proofs for Hardware Model Checking. | Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko |
| 2026 | CP | On Symmetries and Transformations. | Daimy Van Caudenberg, Markus Anders, Bart Bogaerts |
| 2026 | KR | Why(-Not)-Provenance for Datalog with Negation. | Bart Bogaerts, Marco Calautti, Andreas Pieris, Samuele Pollaci, Robbe Van den Eede |
| 2025 | AAAI | Exploiting Symmetries in MUS Computation. | Ignace Bleukx, Hlne Verhaeghe, Bart Bogaerts, Tias Guns |
| 2025 | CP | Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo, Bart Bogaerts |
| 2025 | TACAS | Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation. | Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin |
| 2025 | TACAS | Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability. | Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo |
| 2024 | AAAI | Using Symmetries to Lift Satisfiability Checking. | Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker |
| 2024 | CP | Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. | Jeremias Berg, Bart Bogaerts, Jakob Nordstrm, Andy Oertel, Tobias Paxian, Dieter Vandesande |
| 2024 | ISAIM | Towards a Unifying View on Monotone Constructive Definitions. | Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker |
| 2024 | LPNMR | A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. | Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts |
| 2023 | CADE | Certified Core-Guided MaxSAT Solving. | Jeremias Berg, Bart Bogaerts, Jakob Nordstrm, Andy Oertel, Dieter Vandesande |
| 2023 | CP | Simplifying Step-Wise Explanation Sequences. | Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns |
| 2023 | KR | Mathematical Foundations for Joining Only Knowing and Common Knowledge. | Marcos Cramer, Samuele Pollaci, Bart Bogaerts |
| 2022 | AAAI | Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. | Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordstrm |
| 2022 | ICDT | Expressiveness of SHACL Features. | Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche |
| 2022 | LPNMR | SHACL: A Description Logic in Disguise. | Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche |
| 2022 | LPNMR | QMaxSATpb: A Certified MaxSAT Solver. | Dieter Vandesande, Wolf De Wulf, Bart Bogaerts |
| 2021 | IJCAI | Efficiently Explaining CSPs with Unsatisfiable Subset Optimization. | Emilio Gamba, Bart Bogaerts, Tias Guns |
| 2021 | IJCAI | On the Relation Between Approximation Fixpoint Theory and Justification Theory. | Simon Marynissen, Bart Bogaerts, Marc Denecker |
| 2020 | ECAI | Step-Wise Explanations of Constraint Satisfaction Problems. | Bart Bogaerts, Emilio Gamba, Jens Claes, Tias Guns |
| 2020 | ICDT | Executable First-Order Queries in the Logic of Information Flows. | Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche |
| 2020 | KR | Inputs, Outputs, and Composition in the Logic of Information Flows. | Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche |
| 2019 | AAAI | Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory. | Bart Bogaerts |
| 2019 | JELIA | Explaining Actual Causation in Terms of Possible Causal Processes. | Marc Denecker, Bart Bogaerts, Joost Vennekens |
| 2018 | IJCAI | Exploiting Justifications for Lazy Grounding of Answer Set Programs. | Bart Bogaerts, Antonius Weinzierl |
| 2017 | IJCAI | Safe Inductions: An Algebraic Study. | Bart Bogaerts, Joost Vennekens, Marc Denecker |
| 2017 | IJCAI | Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. | Bart Bogaerts, Lus Cruz-Filipe |
| 2017 | LPAR | Propagators and Solvers for the Algebra of Modular Systems. | Bart Bogaerts, Eugenia Ternovska, David G. Mitchell |
| 2017 | SAT | Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. | Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe |
| 2016 | AAAI | Solving QBF Instances with Nested SAT Solvers. | Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| 2016 | ICLP | A Compositional Typed Higher-Order Logic with Definitions. | Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker |
| 2016 | IJCAI | Distributed Autoepistemic Logic and its Application to Access Control. | Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker |
| 2016 | IJCAI | Relevance for SAT(ID). | Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker |
| 2016 | KR | Declarative Solver Development: Case Studies. | Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| 2016 | SAT | SAT-to-SAT in QBFEval 2016. | Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| 2016 | SAT | Improved Static Symmetry Breaking for SAT. | Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker |
| 2015 | AAAI | Grounded Fixpoints. | Bart Bogaerts, Joost Vennekens, Marc Denecker |
| 2015 | IJCAI | Partial Grounded Fixpoints. | Bart Bogaerts, Joost Vennekens, Marc Denecker |
| 2014 | ECAI | Inference in the FO(C) Modelling Language. | Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche |
| 2013 | ICTAI | Model Expansion in the Presence of Function Symbols Using Constraint Programming. | Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker |
| 2012 | ICLP | Modeling Machine Learning and Data Mining Problems with FO(·). | Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer |
| 2012 | ICTAI | Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. | Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears |