I. Introduction
With the improved control and communication capabilities of today’s power system infrastructures and diverse demand side technologies, it becomes feasible to replace the current power system with a more flexible one. From this and given the presence of intelligent technologies of distribution clients, more elaborate models of both market and smart grids in market operation are critical to reflect the actual network physics and attain accurate pictures of the system. Nevertheless, linear dispatch models still remain the mainstream formulation to solve the day-ahead and real-time markets because they are fast enough under such circumstances. A common alternative for the linear dispatch model is the AC optimal power flow (OPF) variant which accounts for alternating current’s mathematical complexities but is non-convex and needs much more time to solve using existing methods.