Supervisions

MSc Theses

MSc Theses: 2

2021

Miguel Bettencourt Moniz Cabral
Advisors: Mikolas Janota and Vasco Manquinho
Boolean Leximax Optimisation using Iterative SAT Solving
MSc Thesis at IST, U. Lisboa, Nov. 2021 [bibTex]
Marcos António Pires Ferreira dos Santos
Advisors: Mikolas Janota and Vasco Manquinho
Automated Computational Complexity Estimation
MSc Thesis at IST - Universidade de Lisboa, Jan. 2021 [bibTex]