Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving.
Boas KluivingAdriaan de VriesPepijn VrijbergenArthur BoixelUlle EndrissPublished in: ECAI (2020)
Keyphrases
- sat solving
- scoring rules
- voting rules
- computational social choice
- sat solvers
- boolean satisfiability
- sat problem
- rank aggregation
- social choice
- partial order
- computational complexity
- information retrieval
- max sat
- special case
- sat encodings
- learning algorithm
- orders of magnitude
- information retrieval systems
- np hard
- propositional satisfiability
- search space