Reversible Circuit Optimization Based on Tabu Search | IEEE Conference Publication | IEEE Xplore