Strong equivalence of reversible circuits is coNP-complete

Stephen P. Jordan. Strong equivalence of reversible circuits is coNP-complete. Quantum Information & Computation, 14(15-16):1302-1307, 2014. [doi]

Abstract

Abstract is missing.