An illustration of a magnifying glass. An illustration of a magnifying glass.
Abstract: Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean satisfiability ...
An illustration of a magnifying glass. An illustration of a magnifying glass.