FeynmanDD maps Feynman path integral sums onto classical decision diagrams, so quantum circuit amplitudes, probabilities, and equivalence checks become BDD counting tasks that run very fast on structured circuits.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems35(1), 86–99 (2016)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
quant-ph 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams
FeynmanDD maps Feynman path integral sums onto classical decision diagrams, so quantum circuit amplitudes, probabilities, and equivalence checks become BDD counting tasks that run very fast on structured circuits.