Finding Preference Profiles of Condorcet Dimension $k$ via SAT

Open in new window