-
1
-
2
Optimal bounds for the no-show paradox via SAT solving
Veröffentlicht in Mathematical social sciences
VolltextArtikel -
3
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
Veröffentlicht in Journal of the ACM
VolltextArtikel -
4
-
5
-
6
-
7
A note on the McKelvey uncovered set and Pareto optimality
Veröffentlicht in Social choice and welfare
VolltextArtikel -
8
-
9
Finding Preference Profiles of Condorcet Dimension \(k\) via SAT
Veröffentlicht in arXiv.org
VolltextArtikel -
10
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12
-
13
-
14
-
15
-
16
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
Veröffentlicht in arXiv.org
VolltextArtikel -
17
-
18
-
19
k-Majority Digraphs and the Hardness of Voting with a Constant Number of Voters
Veröffentlicht in arXiv.org
VolltextArtikel -
20