Reversible logic circuits have been historically motivated by theoretical research in low-
power electronics as well as practical improvement of bit manipulation transforms in …

In the past years, quantum computers more and more have evolved from an academic idea
to an upcoming reality. IBM's project IBM Q can be seen as evidence of this progress …

Building a quantum computer that surpasses the computational power of its classical
counterpart is a great engineering challenge. Quantum software optimizations can provide …

Synthesis of reversible logic has become an active research area in the last years. But many
proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, results …

Quantum computation is traditionally expressed in terms of quantum bits, or qubits. In this
work, we instead consider three-level qu trits. Past work with qutrits has demonstrated only …

Reversible logic is the basis for several emerging technologies such as quantum computing,
optical computing, or DNA computing and has further applications in domains like low …

Reversible logic finds many applications, especially in the area of quantum computing. A
completely specified n-input, n-output Boolean function is called reversible if it maps each …

Recently a large amount of research has been devoted to automatic activity analysis.
Typically, activities have been defined by their motion characteristics and represented by …

We present optimal depth Boolean circuits (depth O(\logn)) for integer division, powering,
and multiple products. We also show that these three problems are of equivalent uniform …

This paper proposes an approach to optimally synthesize quantum circuits by symbolic
reachability analysis, where the primary inputs and outputs are basis binary and the internal …