TY  - RPRT
TI  - Reversible Circuit Optimization via Leaving the Boolean Domain
AU  - Dmitri Maslov
AU  - Mehdi Saeedi
PY  - 2011
DO  - 10.1109/tcad.2011.2105555
UR  - https://arxiv.org/abs/1103.0215
ID  - 1103.0215
ER  -