Efficient Computation of Exact IRV Margins. - Michelle L. Blom; Vanessa Teague; Peter J. Stuckey; Ron Tidhar (ECAI, 2016)