SAT-based Judgment Aggregation

A. Conati, A. Niskanen, M. Järvisalo

Election type	Ordinal
Culture	Impartial Culture
Candidates	{10, 20, 30, 40, 50, 100, 150}
Voters	{10, 25, 50, 100}
	Used to test Young and Dodgeson rules.
Instances	20
Parameters	None
Motivation	-