An efficient local search algorithm for the winner determination problem J. Heuristics 23(5): 367-396 (2017)