Blom, Michelle, Andrew Conway, Peter J. Stuckey, and Vanessa J. Teague. 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-40. https://doi.org/10.1609/aaai.v34i08.7029.