One of the most important desirable properties in social choice theory is Condorcet-
consistency, which requires that a voting rule should return an alternative that is preferred to
any other alternative by some majority of voters. Another desirable property is participation,
which requires that no voter should be worse off by joining an electorate. A seminal result by
Moulin (1988) has shown that Condorcet-consistency and participation are incompatible
whenever there are at least 4 alternatives and 25 voters. We leverage SAT solving to obtain …