Supervisions

MSc Theses

MSc Theses: 2

2021

Boolean Leximax Optimisation using Iterative SAT Solving
MSc Thesis at IST, U. Lisboa, Nov. 2021 [bibTex]
Automated Computational Complexity Estimation
MSc Thesis at IST - Universidade de Lisboa, Jan. 2021 [bibTex]