Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. - Boas Kluiving; Adriaan de Vries; Pepijn Vrijbergen; Arthur Boixel; Ulle Endriss (ECAI, 2020)