A Logic Optimization Method Using Reinforcement Learning | IEEE Conference Publication | IEEE Xplore