PP-2020-17: Kluiving, Boas and de Vries, Adriaan and Vrijbergen, Pepijn and Boixel, Arthur and Endriss, Ulle (2020) Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. [Pre-print]