Follow
Alexander Ek
Title
Cited by
Cited by
Year
Modelling and Solving Online Optimisation Problems.
A Ek, MG de la Banda, A Schutt, PJ Stuckey, G Tack
AAAI, 1477-1485, 2020
62020
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
12023
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
12020
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
The system can't perform the operation now. Try again later.
Articles 1–8