Dieter Vandesande

According to our database, Dieter Vandesande authored at least 4 papers between 2022 and 2025.

Collaborative distances:

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

2025

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

CoRR, August, 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