SAT-based Judgment Aggregation

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

Election type	Ordinal
Culture	Impartial Culture
Candidates	[5-100]
Voters	{1000}
	Used to test Kemeny and Slater rules (candidates are given by increments of 5).
Instances	1000
Parameters	None
Motivation	-