Advanced Logic Synthesis. (2017)