Publications

Articles

International Conferences: 1

2022

- Miguel Bettencourt Moniz Cabral and Mikolas Janota and Vasco Manquinho, SAT-based Leximax Optimisation Algorithms, presented at International Conference on Theory and Applications of Satisfiability Testing (SAT), to appear on 2022 [bibTex]

Dissertations

MSc Theses: 1

2021

- Miguel Bettencourt Moniz Cabral advised by Mikolas Janota and Vasco Manquinho, Boolean Leximax Optimisation using Iterative SAT Solving, MSc Thesis at IST, U. Lisboa, Nov. 2021 [bibTex]