AlphaSyn: Logic Synthesis Optimization with Efficient Monte Carlo Tree Search | IEEE Conference Publication | IEEE Xplore