Theoretical proof of edge search strategy applied to power plant start-up scheduling | IEEE Journals & Magazine | IEEE Xplore