EasyChair Smart SlideDocs/Log in
Author: Bart Bogaerts

This page shows all presentations of this author published in EasyChair Smart Slide.

Certified Core-Guided MaxSAT Solving

Certified Core-Guided MaxSAT Solving

Andy Oertel, Jeremias Berg, Bart Bogaerts, Jakob Nordström and Dieter Vandesande

Nested Justification Systems

Nested Justification Systems

Simon Marynissen, Jesse Heyninck, Bart Bogaerts and Marc Denecker

Tree-like Justification Systems Are Consistent

Tree-like Justification Systems Are Consistent

Simon Marynissen and Bart Bogaerts

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh and Jakob Nordstrom

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract)

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract)

Emilio Gamba, Bart Bogaerts and Tias Guns

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair