Alternative formulations for the Set Packing Problem and their application to the Winner Determination Problem Academic Article 2013