200 citations · 450 across the 51 of their papers we have counts for
3 papers · 1 filter
RAIRE: Risk-Limiting Audits for IRV Elections
Michelle Blom, Peter J. Stuckey, Vanessa Teague
Risk-limiting post election audits guarantee a high probability of correcting incorrect election results, independent of why the result was incorrect. Ballot-polling audits select…
Computing the Margin of Victory in Preferential Parliamentary Elections
Michelle Blom, Peter J. Stuckey, Vanessa Teague
We show how to use automated computation of election margins to assess the number of votes that would need to change in order to alter a parliamentary outcome for single-member pre…
Incremental Satisfiability and Implication for UTVPI Constraints
Andreas Schutt, Peter J. Stuckey
Unit two-variable-per-inequality (UTVPI) constraints form one of the largest class of integer constraints which are polynomial time solvable (unless P=NP). There is considerable in…