Hosny, et al.. Drills: Deep Reinforcement Learning for Logic Synthesis. 13 Nov. 2019.