Finding Preference Profiles of Condorcet Dimension $k$ via SAT.

Christian Geist

Published in: CoRR (2014)

Keyphrases

search algorithm
satisfiability problem
social choice
search strategies
decision making
np hard
user preferences
stochastic local search