@Inproceedings{MiguelCabral_6_2021, author = "Miguel Cabral and Mikolas Janota and Vasco Manquinho", title = "How to Approximate Leximax-optimal Solutions", booktitle = "Pragmatics of SAT 2021", year = 2021, month = jun, BibTexOrigem = "16677 www.Inesc-ID.pt 2023-10-03" }