Picture for Christian Geist

Christian Geist

Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving

Add code
Sep 06, 2017
Viaarxiv icon

Finding Preference Profiles of Condorcet Dimension $k$ via SAT

Add code
Mar 02, 2016
Figure 1 for Finding Preference Profiles of Condorcet Dimension $k$ via SAT
Figure 2 for Finding Preference Profiles of Condorcet Dimension $k$ via SAT
Figure 3 for Finding Preference Profiles of Condorcet Dimension $k$ via SAT
Figure 4 for Finding Preference Profiles of Condorcet Dimension $k$ via SAT
Viaarxiv icon

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects

Add code
Jan 16, 2014
Figure 1 for Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
Figure 2 for Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
Viaarxiv icon