Modelling and Solving Online Optimisation Problems. A Ek, MG de la Banda, A Schutt, PJ Stuckey, G Tack AAAI, 1477-1485, 2020 | 6 | 2020 |
Explanation of counterexamples in the context of formal verification A Ek BSc Thesis. Uppsala University, Dept. of IT, 2016 | 4* | 2016 |
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE A Ek, PB Stark, PJ Stuckey, D Vukcevic International Joint Conference on Electronic Voting, 35-51, 2023 | 1 | 2023 |
Aggregation and Garbage Collection for Online Optimization A Ek, M Garcia de la Banda, A Schutt, PJ Stuckey, G Tack The 26th International Conference on Principles and Practice of Constraint …, 2020 | 1 | 2020 |
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections A Ek, PB Stark, PJ Stuckey, D Vukcevic arXiv preprint arXiv:2403.15400, 2024 | | 2024 |
High-Level Modelling and Solving for Online, Real-Time, and Multiagent Combinatorial Optimisation AJP EK Monash University, 2022 | | 2022 |
Explaining Propagation for Gini and Spread with Variable Mean A Ek, A Schutt, PJ Stuckey, G Tack 28th International Conference on Principles and Practice of Constraint …, 2022 | | 2022 |
Automatic Predicate Encapsulation of Potentially Profitably Presolvable Submodels in MiniZinc A Ek MSc, Thesis. Uppsala University, Dept. of IT, 2018 | | 2018 |