Supervisions
Filter Supervisions: 2021 - 2023
MSc Theses
MSc Theses: 2
2021
Advisors: Mikolas Janota and Vasco Manquinho
Boolean Leximax Optimisation using Iterative SAT Solving
MSc Thesis at IST, U. Lisboa, Nov. 2021 [bibTex]
Advisors: Mikolas Janota and Vasco Manquinho
Automated Computational Complexity Estimation
MSc Thesis at IST - Universidade de Lisboa, Jan. 2021 [bibTex]