Dieter Vandesande

According to our database, Dieter Vandesande authored at least 7 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Certified Branch-and-Bound MaxSAT Solving.

Dieter Vandesande, Jordi Coll, Bart Bogaerts

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach.

Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Certified Branch-and-Bound MaxSAT Solving (Extended Version).

Dieter Vandesande, Jordi Coll, Bart Bogaerts

CoRR, November, 2025

Experimental Repository for "Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach".

Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

Dataset, November, 2025

2024

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.

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

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023

Certified Core-Guided MaxSAT Solving.

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

Proceedings of the Automated Deduction - CADE 29, 2023

2022

QMaxSATpb: A Certified MaxSAT Solver.

Dieter Vandesande, Wolf De Wulf, Bart Bogaerts

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022