Framework converts Dirac notation in quantum physics to weighted model counting instances via type system and denotational semantics, demonstrated on partition functions of Ising and Potts models.
Simulating quantum circuits by model counting
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
quant-ph 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Quantum Physics using Weighted Model Counting
Framework converts Dirac notation in quantum physics to weighted model counting instances via type system and denotational semantics, demonstrated on partition functions of Ising and Potts models.