@inproceedings{BSS17a,
	Author = {Brandt, Felix and Saile, Christian and Stricker, Christian},
	Publisher = {IFAAMAS},
	Title = {Voting with Ties: {S}trong Impossibilities via {SAT} Solving},
        Booktitle = {Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
	Year = {2018},
        Note = {Forthcoming}}
