An MCTS-based Framework for Synthesis of Approximate Circuits | IEEE Conference Publication | IEEE Xplore