F. Brandt, C. Geist, and M. Strobel. Analyzing the practical relevance of the Condorcet loser paradox and the agenda contraction paradox. In M. Diss and V. Merlin, editors, Evaluating Voting Systems with Probability Models: Essays by and in Honor of William Gehrlein and Dominique Lepelley, Studies in Choice and Welfare, pages 97–115. Springer-Verlag, 2021. [ link | pdf ]

G. Bachmeier, F. Brandt, C. Geist, P. Harrenstein, K. Kardel, D. Peters, and H. G. Seedig. k-majority digraphs and the hardness of voting with a constant number of voters. Journal of Computer and System Sciences, 105:130–157, 2019. [ link | pdf ]

F. Brandl, F. Brandt, C. Geist, and J. Hofbauer. Strategic abstention based on preference extensions: Positive results and computer-generated impossibilities. Journal of Artificial Intelligence Research, 66:1031–1056, 2019. [ link | pdf ]

F. Brandl, F. Brandt, M. Eberl, and C. Geist. Proving the incompatibility of efficiency and strategyproofness via SMT solving. Journal of the ACM, 65(2):1–28, 2018. [ link | pdf ]

F. Brandt, C. Geist, and D. Peters. Optimal bounds for the no-show paradox via SAT solving. Mathematical Social Sciences, 90:18–27, 2017. Special Issue in Honor of Hervé Moulin. [ link | pdf ]

F. Brandl, F. Brandt, and C. Geist. Proving the incompatibility of efficiency and strategyproofness via SMT solving. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), pages 116–122, 2016. [ link | pdf | venue ]

F. Brandt, C. Geist, and M. Strobel. Analyzing the practical relevance of voting paradoxes via Ehrhart theory, computer simulations, and empirical data. In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 385–393, 2016. [ link | pdf | venue ]

F. Brandt, C. Geist, and D. Peters. Optimal bounds for the no-show paradox via SAT solving. In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 314–322, 2016. [ link | pdf | venue ]

F. Brandt and C. Geist. Finding strategyproof social choice functions via SAT solving. Journal of Artificial Intelligence Research, 55:565–602, 2016. [ link | pdf ]

C. Geist. Generating insights in social choice theory via computer-aided methods. PhD thesis, Technische Universität München, 2016. [ link | pdf ]

F. Brandt, C. Geist, and P. Harrenstein. A note on the McKelvey uncovered set and Pareto optimality. Social Choice and Welfare, 46(1):81–91, 2016. [ link | pdf ]

F. Brandl, F. Brandt, C. Geist, and J. Hofbauer. Strategic abstention based on preference extensions: Positive results and computer-generated impossibilities. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pages 18–24, 2015. [ link | pdf | venue ]

F. Brandt, G. Chabin, and C. Geist. Pnyx: A powerful and user-friendly tool for preference aggregation. In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1915–1916, 2015. [ link | pdf | venue ]

F. Brandt, C. Geist, and H. G. Seedig. Identifying k-majority digraphs via SAT solving. In Proceedings of the 1st AAMAS Workshop on Exploring Beyond the Worst Case in Computational Social Choice (EXPLORE), 2014. [ link | pdf | venue ]

C. Geist. Finding preference profiles of Condorcet dimension k via SAT. Technical report, http://arxiv.org/abs/1402.4303, 2014. [ link | pdf ]

F. Brandt and C. Geist. Finding strategyproof social choice functions via SAT solving. In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1193–1200, 2014. [ link | pdf | venue ]

C. Geist and U. Endriss. Automated search for impossibility theorems in social choice theory: Ranking sets of objects. Journal of Artificial Intelligence Research, 40:143–174, 2011. [ link ]

C. Geist, B. Löwe, and B. van Kerkhove. Peer review and knowledge by testimony in mathematics. In B. Löwe and T. Müller, editors, PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, Texts in Philosophy 11, pages 155–178. College Publications, London, 2010. [ link ]

C. Geist. Automated search for impossibility theorems in choice theory: Ranking sets of objects. Master's thesis, Universiteit van Amsterdam, 2010. [ link | pdf ]