4 citations · 14 across the 16 of their papers we have counts for
5 papers · 1 filter
Timetable Nodes for Public Transport Network
Andrii Rohovyi, Peter J. Stuckey, Toby Walsh
Faster pathfinding in time-dependent transport networks is an important and challenging problem in navigation systems. There are two main types of transport networks: road networks…
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…
RLAs for 2-Seat STV Elections: Revisited
Michelle Blom, Peter J. Stuckey, Vanessa Teague +1
Single Transferable Vote (STV) elections are a principled approach to electing multiple candidates in a single election. Each ballot has a starting value of 1, and a candidate is e…