Techniques for finding nash equilibrium in combinatorial auctions