Bid evaluation for coordinated tasks: an Integer Programming formulation

We extend the IP models proposed by Nisan and Andersson for winner determination in combinatorial auctions, to the problem of evaluating bids for coordinated task sets. This requires relaxing the free disposal assumption, and encoding temporal constraints in the model. We present a basic model, along with an improved model that dramatically reduces the number of rows by preprocessing the temporal constraints into compatibility constraints. Experimental results show how the models perform and scale.