Strong activity rules for iterative combinatorial auctions · Study