An agent-based Trading Infrastructure for Combinatorial Reverse Auctions | IEEE Conference Publication | IEEE Xplore