Simulating Quantum Circuits by Model Counting.

Jingyi Mei Marcello M. Bonsangue Alfons Laarman

Published in: CAV (3) (2024)

Keyphrases

model counting
quantum computing
logic circuits
weighted model counting
logic synthesis
knowledge compilation
polynomial size
satisfiability testing
probabilistic inference
machine learning
database
computational complexity
information extraction