A Theoretical Framework for Local Search Techniques | IEEE Conference Publication | IEEE Xplore