Reformulations of a Bilevel Model for Detection of Tacit Collusion in Deregulated Electricity Markets | IEEE Conference Publication | IEEE Xplore