A mixed integer programming solution for market clearing and reliability analysis | IEEE Conference Publication | IEEE Xplore