Christian Geist

According to our database1, Christian Geist authored at least 13 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
<i>k</i>-Majority digraphs and the hardness of voting with a constant number of voters.
J. Comput. Syst. Sci., 2019

Strategic Abstention based on Preference Extensions: Positive Results and Computer-Generated Impossibilities.
J. Artif. Intell. Res., 2019

2018
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.
J. ACM, 2018

2017
Optimal bounds for the no-show paradox via SAT solving.
Math. Soc. Sci., 2017

k-Majority Digraphs and the Hardness of Voting with a Constant Number of Voters.
CoRR, 2017

2016
Generating Insights in Social Choice Theory via Computer-aided Methods.
PhD thesis, 2016

A note on the McKelvey uncovered set and Pareto optimality.
Soc. Choice Welf., 2016

Finding Strategyproof Social Choice Functions via SAT Solving.
J. Artif. Intell. Res., 2016

Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Analyzing the Practical Relevance of Voting Paradoxes via Ehrhart Theory, Computer Simulations, and Empirical Data.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Pnyx: : A Powerful and User-friendly Tool for Preference Aggregation.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Finding Preference Profiles of Condorcet Dimension $k$ via SAT.
CoRR, 2014

2011
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
J. Artif. Intell. Res., 2011


  Loading...