Verified Compilation of Space-Efficient Reversible Circuits
Keyword(s):
2017 ◽
pp. 176-182
◽