Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections

Bibliographic Details
Main Authors:	Blom, Michelle, Budurushi, Jurlind, Rivest, Ronald L, Stark, Philip B, Stuckey, Peter J, Teague, Vanessa, Vukcevic, Damjan
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	Springer International Publishing 2022
Online Access:	https://hdl.handle.net/1721.1/143857

Internet

https://hdl.handle.net/1721.1/143857