From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++.
Bruno SchmittFereshte MozafariGiulia MeuliHeinz RienerGiovanni De MicheliPublished in: DATE (2021)
Keyphrases
- boolean functions
- quantum computing
- dnf formulae
- logic circuits
- uniform distribution
- logic synthesis
- bi decomposition
- relevant variables
- functional properties
- multi valued
- quantum mechanics
- threshold functions
- truth table
- read once formulas
- prime implicants
- pac learning
- membership queries
- multi class
- upper bound
- optical flow