A branch and cut algorithm for the Winner Determination Problem. Conference Paper 2008 Congress communication uri icon