Dieter Vandesande

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Clause Learning

Maximum Satisfiability

Top Venues

Publications

Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. CP (2024)
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
Certified Core-Guided MaxSAT Solving. CADE (2023)
Dieter Vandesande, Wolf De Wulf, Bart Bogaerts
QMaxSATpb: A Certified MaxSAT Solver. LPNMR (2022)