Dieter Vandesande
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 | SAT | HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization (Tool Paper). | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Matti Jrvisalo |
| 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 |
| 2023 | CADE | Certified Core-Guided MaxSAT Solving. | Jeremias Berg, Bart Bogaerts, Jakob Nordstrm, Andy Oertel, Dieter Vandesande |
| 2022 | LPNMR | QMaxSATpb: A Certified MaxSAT Solver. | Dieter Vandesande, Wolf De Wulf, Bart Bogaerts |