Supervisions

MSc Theses

MSc Theses: 1

Ricardo Joel Marques dos Santos Silva
Advisors: Mikolas Janota and Carlos Caleiro
Optimisation of Machine Learning in expansion-based QBF solving
MSc Thesis, work in progress [bibTex]