The theory of social choice concerns how to make decisions based on the conflicting preferences of multiple parties (agents). In computational social choice, these problems are studied from a computational perspective: what are well-motivated and efficient algorithms for solving these problems?