A branch-and-cut algorithm for the Winner Determination Problem · Study