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 ]
