Blom, M., Conway, A., Stuckey, P. J., & Teague, V. J. (2020). Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections. Proceedings of the AAAI Conference on Artificial Intelligence, 34(08), 13235-13240. https://doi.org/10.1609/aaai.v34i08.7029