An efficient method for improving the performance of quantum boolean circuit synthesis algorithms | IEEE Conference Publication | IEEE Xplore