Computational Aspects of Multi-Winner Approval Voting · Study