@inproceedings{KluivingEtAlECAI2020,
  author =        {Boas Kluiving and Adriaan de~Vries and Pepijn Vrijbergen and Arthur Boixel and Ulle Endriss},
  title =         {Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving},
  booktitle =     {Proceedings of the 24th European Conference on Artificial Intelligence (ECAI-2020)},
  month =         {August},
  year =          {2020},
  doi =           {10.3233/FAIA200085}
}