Dieter Vandesande - Student theses - Vrije Universiteit Brussel

Pleinlaan 2
1050 Brussels
Belgium
Pleinlaan 2
1050 Brussel
Belgium

Research activity per year

1 results
- Title(descending)
- Award date

Towards Certified MaxSAT Solving: Certified MaxSAT solving with SAT oracles and encodings of pseudo-Boolean constraints
Author: Vandesande, D., 2023
Supervisor: Bogaerts, B. (Promotor)
Student thesis: Master's Thesis

File

Your message has successfully been sent.

Your message was not sent due to an error.