Publications

Articles

International Conferences: 3

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]
- Pedro Orvalho and Mikolas Janota and Vasco Manquinho, MultIPAs : Applying Program Transformations to Introductory Programming Assignments for Data Augmentation, presented at 30th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (ESEC/FSE 2022), Nov. 2022 [bibTex]

2021

- Miguel Cabral and Mikolas Janota and Vasco Manquinho, How to Approximate Leximax-optimal Solutions, presented at Pragmatics of SAT 2021, Jun. 2021 [bibTex]