on CAD 28, 2009, 703–715. This paper presented exact synthesis algorithms that find the MCT circuit with the minimal number of gates for a given reversible function. The introduced algorithms ...
Researchers have presented a reversible programming language for boolean circuits, establishing a denotational semantics that connects the language's syntax to algebraic structures. This work not ...