Published February 19, 2020
| Version v1
Software
Open
Supplementary Material for "Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving"
- 1. ILLC, University of Amsterdam
Description
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.
Notes
Files
README.md
Files
(36.3 kB)
Name | Size | Download all |
---|---|---|
md5:b23089ecaea506a767098b1f7fc019b4
|
782 Bytes | Download |
md5:43a93487049d21748fd1fa910b4ab51a
|
862 Bytes | Download |
md5:ed3d680ceab886a3b5e46be472b9adc4
|
9.5 kB | Download |
md5:f7a3de481a8c2168c349457fbb741f02
|
17.4 kB | Download |
md5:a0820020ab608e623136614b895ebc97
|
7.8 kB | Preview Download |
Additional details
References
- 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.