Software Open Access
Boas Kluiving; Adriaan de Vries; Pepijn Vrijbergen; Arthur Boixel; Ulle Endriss
This is the supplementary material belonging to the paper "Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving", published in the Proceedings of the 24th European Conference on Artificial Intelligence (ECAI-2020). In the paper, we establish various results regarding the possibility and impossibility of designing multiwinner voting rules that satisfy certain axioms. This repository contains the code used to generate the SAT instances that correspond to some of these results.
Please consult the README file for examples of how to use the system.
The paper is available at http://doi.org/10.3233/FAIA200085.
Boas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel, and Ulle Endriss. Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. In Proceedings of the 24th European Conference on Artificial Intelligence (ECAI-2020). IOS Press, 2020.