@misc{indiciae906a7c7b8e49, title = {Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections}, author = {Alexander Ek and Philip B. Stark and Peter J. Stuckey and Damjan Vukcevic}, year = {2024}, doi = {10.1007/978-3-031-69231-4\_2}, url = {https://arxiv.org/abs/2403.15400}, note = {Source identifier: 2403.15400} }