T. SandholmAlgorithm for optimal winner determination in combinatorial auctions, Artificial Intelligence, 135, 1-54, 2002.