1. MUSer2: An efficient MUS extractor;Belov;J. Satisf. Boolean Model. Comput.,2012
2. Lingeling, Plingeling and Treengeling entering the SAT competition 2013;Biere,2013
3. Strategic abstention based on preference extensions: positive results and computer-generated impossibilities;Brandl,2015
4. Incentives for participation and abstention in probabilistic social choice;Brandl,2015
5. Brandl, F., Brandt, F., Hofbauer, J., Welfare maximization entices participation, 2016. Working paper.