Reversible circuit rewriting with simulated annealing | IEEE Conference Publication | IEEE Xplore