Hill climbing with reduced search space (logic optimization) | IEEE Conference Publication | IEEE Xplore