4 citations · 6 across the 10 of their papers we have counts for
10 papers
Towards a Certifying Grounder
Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1
Grounding, the translation of high-level theories into equivalent quantifier-free formulas, is a crucial step in declarative solving, yet it has so far escaped the proof-logging re…
Advances in STV Margin Computation
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
Single transferable vote (STV) is a multi-winner preferential proportional electoral system. The margin is the smallest number of ballots that need to be manipulated to alter the s…
To whom did my vote go?
Andrew Conway, Michelle Blom, Alexander Ek +3
Single Transferable Vote (STV) counting, used in several jurisdictions in Australia, is a system for choosing multiple election winners given voters' preferences among candidates.…
3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
Constructing efficient risk-limiting audits (RLAs) for multiwinner single transferable vote (STV) elections is a challenging problem. An STV RLA is designed to statistically verify…
Doing More With Less: Mismatch-Based Risk-Limiting Audits
Alexander Ek, Michelle Blom, Philip B. Stark +3
One approach to risk-limiting audits (RLAs) compares randomly selected cast vote records (CVRs) to votes read by human auditors from the corresponding ballot cards. Historically, s…
Efficient Lower Bounding of Single Transferable Vote Election Margins
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
The single transferable vote (STV) is a system of preferential proportional voting employed in multi-seat elections. Each ballot cast by a voter is a (potentially partial) ranking…
Idiosyncratic properties of Australian STV election counting
Andrew Conway, Michelle Blom, Alexander Ek +3
Single Transferable Vote (STV) counting, used in several jurisdictions in Australia, is a system for choosing multiple election winners given voters' preferences over candidates. T…
Improving the Computational Efficiency of Adaptive Audits of IRV Elections
Alexander Ek, Michelle Blom, Philip B. Stark +2
AWAIRE is one of two extant methods for conducting risk-limiting audits of instant-runoff voting (IRV) elections. In principle AWAIRE can audit IRV contests with any number of cand…
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections
Alexander Ek, Philip B. Stark, Peter J. Stuckey +1
Various risk-limiting audit (RLA) methods have been developed for instant-runoff voting (IRV) elections. A recent method, AWAIRE, is the first efficient approach that can take adva…
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE
Alexander Ek, Philip B. Stark, Peter J. Stuckey +1
An election audit is risk-limiting if the audit limits (to a pre-specified threshold) the chance that an erroneous electoral outcome will be certified. Extant methods for auditing…