F. Brandt, C. Dong, and D. Peters. Condorcet-consistent choice among three candidates. 2024. Working paper. [ pdf ] F. Brandt, C. Saile, and C. Stricker. Strategyproof social choice when preferences and outcomes may contain ties. Journal of Economic Theory, 202:105447, 2022. [ link | pdf ] F. Brandt, M. Matthäus, and C. Saile. Minimal voting paradoxes. Journal of Theoretical Politics, 34(4):527–551, 2022. [ link | pdf ] F. Brandl, F. Brandt, D. Peters, and C. Stricker. Distribution rules under dichotomous preferences: Two out of three ain't bad. In Proceedings of the 22nd ACM Conference on Economics and Computation (ACM-EC), pages 158–179, 2021. [ link | pdf | venue ] 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 ] H. Aziz, F. Brandt, E. Elkind, and P. Skowron. Computational social choice: The first ten years and beyond. In B. Steffen and G. Woeginger, editors, Computing and Software Science, volume 10000 of Lecture Notes in Computer Science (LNCS), chapter 48–65. Springer-Verlag, 2019. [ link | pdf ] F. Brandt, M. Brill, H. G. Seedig, and W. Suksompong. On the structure of stable tournament solutions. Economic Theory, 65(2):483–507, 2018. [ 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. Brandt and C. Geist. Finding strategyproof social choice functions via SAT solving. Journal of Artificial Intelligence Research, 55:565–602, 2016. [ link | pdf ] F. Brandt, A. Dau, and H. G. Seedig. Bounds on the disparity and separation of tournament solutions. Discrete Applied Mathematics, 187:41–49, 2015. [ link | pdf ] S. Schulz and F. Brandt. Using term space maps to capture search control knowledge in equational theorem proving. In Proceedings of the 12th Florida Artificial Intelligence Research Society Conference (FLAIRS), pages 244–248, 1999. [ link | pdf | venue ] F. Brandt. Example selection for learning in automated theorem proving. Diploma Thesis, Department for Computer Science, Technical University of Munich, 1998. [ pdf ]
