A clique-based exact method for optimal winner determination in combinatorial auctions